Pages that link to "Item:Q704001"
From MaRDI portal
The following pages link to Computer theorem proving in mathematics (Q704001):
Displaying 13 items.
- A new theorem discovered by computer prover (Q583606) (← links)
- Explaining Gabriel-Zisman localization to the computer (Q861700) (← 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)
- First steps towards a formalization of forcing (Q2333671) (← links)
- On the formalization of gamma function in HOL (Q2352499) (← links)
- Theorem proving method and the computer science (Q2770773) (← links)
- Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
- (Q3002926) (← links)
- Machine synthesis of mathematical theorems (Q3485887) (← 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)
