We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Symbolic Computation

Title: Smooth Points on Semi-algebraic Sets

Abstract: Many algorithms for determining properties of real algebraic or semi-algebraic sets rely upon the ability to compute smooth points. Existing methods to compute smooth points on semi-algebraic sets use symbolic quantifier elimination tools. In this paper, we present a simple algorithm based on computing the critical points of some well-chosen function that guarantees the computation of smooth points in each connected compact component of a real (semi)-algebraic set. Our technique is intuitive in principal, performs well on previously difficult examples, and is straightforward to implement using existing numerical algebraic geometry software. The practical efficiency of our approach is demonstrated by solving a conjecture on the number of equilibria of the Kuramoto model for the $n=4$ case. We also apply our method to design an efficient algorithm to compute the real dimension of (semi)-algebraic sets, the original motivation for this research.
Subjects: Symbolic Computation (cs.SC); Algebraic Geometry (math.AG); Numerical Analysis (math.NA)
Cite as: arXiv:2002.04707 [cs.SC]
  (or arXiv:2002.04707v2 [cs.SC] for this version)

Submission history

From: Agnes Szanto [view email]
[v1] Tue, 11 Feb 2020 21:52:41 GMT (657kb,D)
[v2] Wed, 15 Jul 2020 18:54:56 GMT (433kb,D)

Link back to: arXiv, form interface, contact.