Login / Signup

Axiomatic Reals and Certified Efficient Exact Real Computation.

Michal KonecnýSewon ParkHolger Thies
Published in: WoLLIC (2021)
Keyphrases
  • real life
  • cost effective
  • efficient computation
  • real world
  • machine learning
  • database
  • real time
  • data sets