Login / Signup

Betti Numbers of Semialgebraic Sets Defined by Quantifier-Free Formulae.

Andrei GabrielovNicolai N. Vorobjov Jr.
Published in: Discret. Comput. Geom. (2005)
Keyphrases
  • betti numbers
  • quantifier free
  • real numbers
  • horn clauses
  • quantifier elimination
  • first order logic
  • convex sets
  • topological features
  • rewrite systems
  • databases
  • user defined