Counting arithmetic formulas.

Edinah K. Gnang Maksym Radziwill Carlo Sanna

Published in: CoRR (2014)

Keyphrases

quantifier free
first order logic
quantifier elimination
mathematical formulas
arithmetic operations
expressive power
rewrite systems
real numbers
floating point
partial order
databases
computational complexity
search algorithm
search engine
artificial intelligence
machine learning
real world