Fusible numbers and Peano Arithmetic.

Jeff Erickson Gabriel Nivasch Junyan Xu

Published in: CoRR (2020)

Keyphrases

real numbers
arithmetic operations
relational databases
interval arithmetic
artificial intelligence
database systems
high quality
multiscale
optimal solution
data analysis
multiresolution