Domains for computation in mathematics, physics and exact real arithmetic.

Published in: Bull. Symb. Log. (1997)

Keyphrases

computer science
application domains
real world
real life
machine learning
neural network
blocks world
exact computation
database
similarity measure
graphical models