4 citations · 10 across the 10 of their papers we have counts for
Showing 2024Show all
2 papers · 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…
cs.LO2024
An Imperative Language for Verified Exact Real-Number Computation
Andrej Bauer, Sewon Park, Alex Simpson
We introduce Clerical, a programming language for exact real-number computation that combines first-order imperative-style programming with a limit operator for computation of real…