Towards an API for the real numbers.

Published in: PLDI (2020)

Keyphrases

real numbers
source code
application programming interface
fuzzy numbers
interval arithmetic
arithmetic operations
linear inequalities
open source
high level
quantifier free
third party
application developers
google maps
psoa ruleml
neural network
fuzzy sets
artificial intelligence