scholar.google.com › citations
Abstract. We propose a framework for certified computation on hyperspaces by formalizing various higher-order data types and operations in a constructive ...
Aug 21, 2023 · We propose a framework for certified computation on hyperspaces by formalizing various higher-order data types and operations in a constructive dependent type ...
We propose a framework for certified computation on hyperspaces by formalizing various higher-order data types and operations in a constructive dependent type ...
Feb 2, 2022 · Our formalization differs from similar approaches, in that we formalize the reals in a conceptually similar way as some mature implementations ...
Missing: Hyperspaces | Show results with:Hyperspaces
Formalizing Hyperspaces for Extracting Efficient Exact Real Computation · Computer Science, Mathematics. MFCS · 2023.
Co-authors ; Formalizing Hyperspaces for Extracting Efficient Exact Real Computation. M Konečný, S Park, H Thies. 48th International Symposium on Mathematical ...
Sep 4, 2024 · Formalizing Hyperspaces for Extracting Efficient Exact Real Computation. ... Extracting efficient exact real number computation from proofs ...
Formalizing Hyperspaces for Extracting Efficient Exact Real Computation. M Konečný, S Park, H Thies. 48th International Symposium on Mathematical Foundations ...
Formalizing Hyperspaces for Extracting Efficient Exact Real Computation. Proc. of the 48th International Symposium on Mathematical Foundations of Computer ...
Formalizing Hyperspaces for Extracting Efficient Exact Real Computation. Resource URI: https://dblp.l3s.de/d2r/resource/publications/conf/mfcs/Konecny0T23.