Fusible numbers and Peano Arithmetic.

Jeff Erickson Gabriel Nivasch Junyan Xu

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

real numbers
decision making
image sequences
interval arithmetic
information retrieval
social networks
computer vision
information systems
knowledge base
bayesian networks
lower bound
relational databases
management system
floating point
arithmetic operations