Login / Signup

On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers.

Sebastian JungesUlrich LoupFlorian CorziliusErika Ábrahám
Published in: CAI (2013)
Keyphrases
  • real numbers
  • polynomial equations
  • numerically stable
  • fuzzy numbers
  • satisfiability modulo theories