Computational Aspects of sigma-Definability over the Real Numbers without the Equality Test.

Margarita V. Korovina

Published in: CSL (2003)

Keyphrases

real numbers
machine learning
propositional logic
constraint solver
linear inequalities
interval arithmetic
real time
fuzzy numbers
arithmetic operations
neural network
artificial neural networks
sufficient conditions
test cases
fixed point