Formalising real numbers in homotopy type theory.

Gaëtan Gilbert

Published in: CPP (2017)

Keyphrases

real numbers
quantifier free
arithmetic operations
theoretical framework
fuzzy numbers
linear inequalities
pattern recognition
information theory
interval arithmetic
linear programming
computational model
theoretical foundation
multiple types
general theory