Login / Signup
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