Login / Signup

Simplification of Quantifier-Free Formulae over Ordered Fields.

Andreas DolzmannThomas Sturm
Published in: J. Symb. Comput. (1997)
Keyphrases
  • quantifier free
  • quantifier elimination
  • first order logic
  • rewrite systems
  • expressive power
  • constraint propagation
  • real numbers
  • machine learning
  • orders of magnitude