Axiomatic reals and certified efficient exact real computation
From MaRDI portal
Publication:2148797
DOI10.1007/978-3-030-88853-4_16OpenAlexW3200130299MaRDI QIDQ2148797FDOQ2148797
Holger Thies, Se Won Park, Michal Konečný
Publication date: 24 June 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-88853-4_16
Cites Work
- Mathematical Knowledge Management
- Title not available (Why is that?)
- Formalization of real analysis: a survey of proof assistants and libraries
- Title not available (Why is that?)
- Proving Bounds on Real-Valued Functions with Computations
- Realizability. An introduction to its categorical side
- Locally cartesian closed categories and type theory
- Combining Coq and Gappa for Certifying Floating-Point Programs
- Feasible real random access machines
- Title not available (Why is that?)
- Theory of representations
- A fundamental effect in computations on real numbers
- Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving
- Title not available (Why is that?)
- A Real Number Structure that is Effectively Categorical
- Computational complexity of real powering and improved solving linear differential equations
- Title not available (Why is that?)
- Effectivity in Spaces with Admissible Multirepresentations
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (6)
- Efficient Exact Arithmetic over Constructive Reals
- Verified Real Asymptotics in Isabelle/HOL
- Certified Exact Transcendental Real Number Computation in Coq
- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base
- Computer Certified Efficient Exact Reals in Coq
- Verified exact real computation with nondeterministic functions and limits
Uses Software
This page was built for publication: Axiomatic reals and certified efficient exact real computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2148797)
