Pages that link to "Item:Q4553308"

The following pages link to Opinion: The Mechanization of Mathematics (Q4553308):

Displaying 9 items.

• On preserving the computational content of mathematical proofs: toy examples for a formalising strategy (Q2117791) (← links)
• Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started (Q2657827) (← links)
• Reliability of mathematical inference (Q2695405) (← links)
• Metrically homogeneous graphs of diameter 3 (Q4991900) (← links)
• ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT (Q5037519) (← links)
• MATHEMATICAL RIGOR AND PROOF (Q5078816) (← links)
• MOTIVATED PROOFS: WHAT THEY ARE, WHY THEY MATTER AND HOW TO WRITE THEM (Q5221288) (← links)
• Varieties of mathematical understanding (Q5860471) (← links)
• Mathematics and the formal turn (Q6130523) (← links)