Partially generic formulas in arithmetic.

Published in: Notre Dame J. Formal Log. (1988)

Keyphrases

domain specific
quantifier free
high level
arithmetic operations
real numbers
real time
real world
genetic algorithm
knowledge base
data structure
data model
floating point
quantifier elimination