Fusible numbers and Peano Arithmetic.

Jeff Erickson Gabriel Nivasch Junyan Xu

Published in: LICS (2021)

Keyphrases

databases
arithmetic operations
data sets
machine learning
artificial intelligence
high quality
objective function
management system
real numbers
bayesian networks
pattern recognition
lower bound
floating point
space filling curves