Explore >> Select a destination
|
You are here 
|
eccc.weizmann.ac.il | ||
| | | | |
eccc.hpi-web.de
|
|
| | | | | Homepage of the Electronic Colloquium on Computational Complexity located at the Weizmann Institute of Science, Israel | |
| | | | |
eccc.hpi-web.de
|
|
| | | | | Homepage of the Electronic Colloquium on Computational Complexity located at the Weizmann Institute of Science, Israel | |
| | | | |
blog.computationalcomplexity.org
|
|
| | | | | Now in one place all of my sixty favorite theorems from the six decades of computational complexity (1965-2024). 2015-2024 Graph Isomorphism... | |
| | | | |
jiggerwit.wordpress.com
|
|
| | | What follows are the opening paragraphs of a pdf document giving an argument for controlled natural languages in mathematics. At the recent Big Proof 2 conference in Edinburgh, I realized that a case must be made for developing a controlled natural language for mathematics. There is little consensus on this issue, and mathematicians and computer... | ||
