scientific article; zbMATH DE number 5486209
From MaRDI portal
Publication:5302558
zbMath1188.68002MaRDI QIDQ5302558
Publication date: 7 January 2009
Full work available at URL: http://www.ams.org/notices/200811/tx081101370p.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (17)
Formal verification of stability and chaos in periodic optical systems ⋮ A Formalization of Properties of Continuous Functions on Closed Intervals ⋮ Mechanical Proofs of Properties of the Tribonacci Word ⋮ A replication crisis in mathematics? ⋮ A formally verified compiler back-end ⋮ Homotopy type theory and Voevodsky’s univalent foundations ⋮ Checking Proofs ⋮ A certified proof of the Cartan fixed point theorems ⋮ Experimental mathematics, computers and the a priori ⋮ Automated theorem provers: a practical tool for the working mathematician? ⋮ Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points ⋮ Formalizing a fragment of combinatorics on words ⋮ A revision of the proof of the Kepler conjecture ⋮ Towards Formal Proof Script Refactoring ⋮ Reshaping the metaphor of proof ⋮ Beyond Provable Security Verifiable IND-CCA Security of OAEP ⋮ Formal Proof: Reconciling Correctness and Understanding
Uses Software
This page was built for publication:
