Lobsters
- How to Write a 21 st Century Proof (2011) http://research.microsoft.com/en-us/um/people/lamport/pubs/proof.pdf 2 comments math , pdf
Linking pages
- A Computer Scientist Tells Mathematicians How To Write Proofs - Scientific American Blog Network http://blogs.scientificamerican.com/roots-of-unity/2014/09/24/how-to-write-proofs/ 205 comments
- A Computer Scientist Tells Mathematicians How To Write Proofs - Scientific American Blog Network https://blogs.scientificamerican.com/roots-of-unity/computer-scientist-tells-mathematicians-how-to-write-proofs/ 100 comments
- The Real Induction http://ucsd-pl.github.io/veridrone/induction/2016/02/17/real-induction.html 14 comments
- tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments
Related searches:
Search whole site: site:research.microsoft.com
Search title: How to Write a 21st Century Proof - Microsoft Research
See how to search.