activity
20192026
most citedExtracting efficient exact real number computation from proofs in constructive type theory

2 citations · 4 across the 5 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.LO2024

Formalizing Hyperspaces and Operations on Subsets of Polish Spaces over Abstract Exact Real Numbers

Michal Konečný, Sewon Park, Holger Thies

Building on our prior work on axiomatization of exact real computation by formalizing nondeterministic first-order partial computations over real and complex numbers in a construct…