全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...

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

Full-Text   Cite this paper   Add to My Lib

Abstract:

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.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133