Mechanising (Graphical) Mathematical Proofs – Computerphile

This content originally appeared on Computerphile and was authored by Computerphile

Print Share Comment Cite Upload Translate Updates

APA

Computerphile | Sciencx (2024-02-20T12:57:36+00:00) Mechanising (Graphical) Mathematical Proofs – Computerphile. Retrieved from https://www.scien.cx/2024/02/20/mechanising-graphical-mathematical-proofs-computerphile/

MLA

" » Mechanising (Graphical) Mathematical Proofs – Computerphile." Computerphile | Sciencx - Tuesday February 20, 2024, https://www.scien.cx/2024/02/20/mechanising-graphical-mathematical-proofs-computerphile/

HARVARD

Computerphile | Sciencx Tuesday February 20, 2024 » Mechanising (Graphical) Mathematical Proofs – Computerphile., viewed ,<https://www.scien.cx/2024/02/20/mechanising-graphical-mathematical-proofs-computerphile/>

VANCOUVER

Computerphile | Sciencx - » Mechanising (Graphical) Mathematical Proofs – Computerphile. [Internet]. [Accessed ]. Available from: https://www.scien.cx/2024/02/20/mechanising-graphical-mathematical-proofs-computerphile/

CHICAGO

" » Mechanising (Graphical) Mathematical Proofs – Computerphile." Computerphile | Sciencx - Accessed . https://www.scien.cx/2024/02/20/mechanising-graphical-mathematical-proofs-computerphile/

IEEE

" » Mechanising (Graphical) Mathematical Proofs – Computerphile." Computerphile | Sciencx [Online]. Available: https://www.scien.cx/2024/02/20/mechanising-graphical-mathematical-proofs-computerphile/. [Accessed: ]

rf:citation

» Mechanising (Graphical) Mathematical Proofs – Computerphile | Computerphile | Sciencx | https://www.scien.cx/2024/02/20/mechanising-graphical-mathematical-proofs-computerphile/ |

Please log in to upload a file.

There are no updates yet.
Click the Upload button above to add an update.

You must be logged in to translate posts. Please log in or register.

Related Posts