Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers.

Peter Franek Stefan Ratschan Piotr Zgliczynski

Published in: J. Autom. Reason. (2016)

Keyphrases

real numbers
quantifier free
fuzzy numbers
linear inequalities
interval arithmetic
theoretical framework
constraint solver
arithmetic operations
quantifier elimination
computer vision
decision procedures
ordered fuzzy numbers