Simplification of Quantifier-free Formul
โ
ANDREAS DOLZMANN; THOMAS STURM
๐
Article
๐
1997
๐
Elsevier Science
๐
English
โ 468 KB
Given a quantifier-free first-order formula over the theory of ordered fields, our aim is to find an equivalent first-order formula that is simpler. The notion of a formula being simpler will be specified. An overview is given over various methods combining elements of field theory, order theory, an