Axiomatic Reals and Certified Efficient Exact Real Computation.

Michal Konecný Sewon Park Holger Thies

Published in: WoLLIC (2021)

Keyphrases

real life
cost effective
efficient computation
real world
machine learning
database
real time
data sets