|
Title
|
|
|
|
Expressing the box cone radius in the relational calculus with real polynomial constraints
|
|
|
Author
|
|
|
|
|
|
|
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 in every small enough box. We obtain this result by combining results from differential topology and real algebraic geometry, with recent algorithmic results by Rannou. |
|
|
|
Language
|
|
|
|
English
|
|
|
Source (journal)
|
|
|
|
Discrete and computational geometry. - New York, N.Y.
|
|
|
Publication
|
|
|
|
New York, N.Y.
:
2003
|
|
|
ISSN
|
|
|
|
0179-5376
[print]
1432-0444
[online]
|
|
|
DOI
|
|
|
|
10.1007/S00454-003-0770-2
|
|
|
Volume/pages
|
|
|
|
30
:4
(2003)
, p. 607-622
|
|
|
ISI
|
|
|
|
000186370900006
|
|
|
Full text (Publisher's DOI)
|
|
|
|
|
|
|
Full text (publisher's version - intranet only)
|
|
|
|
|
|