scientific article; zbMATH DE number 5486211
From MaRDI portal
Publication:5302560
zbMath1154.03303MaRDI QIDQ5302560
No author found.
Publication date: 7 January 2009
Full work available at URL: http://www.ams.org/notices/200811/tx081101395p.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (12)
Formalization of camera pose estimation algorithm based on Rodrigues formula ⋮ A Formalization of Properties of Continuous Functions on Closed Intervals ⋮ Simplicity via provability for universal prefix-free Turing machines ⋮ Checking Proofs ⋮ A certified proof of the Cartan fixed point theorems ⋮ Experimental mathematics, computers and the a priori ⋮ Asynchronous Logic Circuits and Sheaf Obstructions ⋮ A revision of the proof of the Kepler conjecture ⋮ ``Backward coinduction, Nash equilibrium and the rationality of escalation ⋮ Richardson extrapolation-based verification method of scientific calculation program without the oracles: a case study ⋮ Formal Proof: Reconciling Correctness and Understanding ⋮ NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
This page was built for publication:
