The following pages link to (Q5302560):
Displayed 12 items.
- A certified proof of the Cartan fixed point theorems (Q438546) (← links)
- Simplicity via provability for universal prefix-free Turing machines (Q616504) (← links)
- ``Backward'' coinduction, Nash equilibrium and the rationality of escalation (Q715039) (← links)
- Formalization of camera pose estimation algorithm based on Rodrigues formula (Q826358) (← links)
- A revision of the proof of the Kepler conjecture (Q977177) (← links)
- Richardson extrapolation-based verification method of scientific calculation program without the oracles: a case study (Q2298571) (← links)
- Experimental mathematics, computers and the a priori (Q2441736) (← links)
- Checking Proofs (Q2950035) (← links)
- Formal Proof: Reconciling Correctness and Understanding (Q3637280) (← links)
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF (Q5001547) (← links)
- A Formalization of Properties of Continuous Functions on Closed Intervals (Q5041063) (← links)
- Asynchronous Logic Circuits and Sheaf Obstructions (Q5179025) (← links)