Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers.

Published in: J. Formaliz. Reason. (2016)

Keyphrases

real numbers
fuzzy numbers
linear inequalities
interval arithmetic
arithmetic operations
constraint solver
efficient implementation
database
real world
knowledge base
pattern recognition
computer science
formal methods
computer assisted instruction
quantifier free