https://123dok.net/document/yng7ve91-local-approximation-of-semialgebraic-sets.html