2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Michal Konečný, Eike Neumann
We give a technical overview of our exact-real implementation of various representations of the space of continuous unary real functions over the unit domain and a family of associ…