All Title Author
Keywords Abstract

Expressing the cone radius in the relational calculus with real polynomial constraints

Full-Text   Cite this paper   Add to My Lib


We show that there is a query expressible in first-order logic over the reals that returns, on any given semi-algebraic set A, for every point a radius around which A is conical. We obtain this result by combining famous results from calculus and real algebraic geometry, notably Sard's theorem and Thom's first isotopy lemma, with recent algorithmic results by Rannou.


comments powered by Disqus

Contact Us


微信:OALib Journal