Axiomatic Reals and Certified Efficient Exact Real Computation
- Michal Konečný
- , Sewon Park
- , Holger Thies
- Korea Advanced Institute of Science and Technology - KAIST
- Kyoto University
Research output: Chapter in Book/Published conference output › Conference publication
7
Link opens in a new tab
Citations
(Scopus)
19
Downloads
(Pure)