A note on the axiomatisation of real numbers.

Thierry Coquand Henri Lombardi

Published in: Math. Log. Q. (2008)

Keyphrases

real numbers
linear inequalities
interval arithmetic
modal logic
fuzzy numbers
arithmetic operations
functional dependencies
inference rules
constraint solver
artificial neural networks
onset detection
databases
quantifier free
case study
computer vision
learning algorithm
machine learning
neural network