Pages that link to "Item:Q704001"

The following pages link to Computer theorem proving in mathematics (Q704001):

Displaying 27 items.

• Proof verification and proof discovery for relativity (Q514557) (← links)
• A new theorem discovered by computer prover (Q583606) (← links)
• Automated theorem provers: a practical tool for the working mathematician? (Q657585) (← links)
• The seventeen provers of the world. Foreword by Dana S. Scott.. (Q819987) (← links)
• Explaining Gabriel-Zisman localization to the computer (Q861700) (← links)
• Supporting the formal verification of mathematical texts (Q865656) (← links)
• Proof assistants: history, ideas and future (Q1040001) (← links)
• Computer-assisted proofs in analysis (Q1080247) (← links)
• Man-machine theorem proving in graph theory (Q1104124) (← links)
• On the shape of mathematical arguments (Q1188723) (← links)
• Computer proofs about finite and regular sets: The unifying concept of subvariance. (Q1404990) (← links)
• Towards mechanical metamathematics (Q1821563) (← links)
• Special issue: Formal proof (Q1961912) (← links)
• Liquid tensor experiment (Q2090133) (← links)
• First steps towards a formalization of forcing (Q2333671) (← links)
• On the formalization of gamma function in HOL (Q2352499) (← links)
• A fully automatic theorem prover with human-style output (Q2362206) (← links)
• Theorem proving method and the computer science (Q2770773) (← links)
• Ascertaining mathematical theorems (Q2852039) (← links)
• Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
• (Q3002926) (← links)
• Overview on mechanized theorem proving (Q3308161) (← links)
• Mathematics and computers (Q3478365) (← links)
• Machine synthesis of mathematical theorems (Q3485887) (← links)
• Software integration and computer proofs (Q4790432) (← links)
• Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers (Q5195277) (← links)
• A machine program for theorem-proving (Q5621961) (← links)