Timeline for Experimental mathematics leading to major advances
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 22, 2022 at 16:14 | history | edited | Martin Sleziak | CC BY-SA 4.0 |
http -> https (the question was bumped anyway)
|
| Jan 26, 2022 at 4:34 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
replaced broken arxiv front link by doi link
|
| Oct 14, 2010 at 19:11 | history | made wiki | Post Made Community Wiki | ||
| Feb 11, 2010 at 20:00 | comment | added | kakaz | As You mention Computer packages for computerized proofs I would to point example of Mizar system, which is formal language (very near natural one) system for proof checking. Proofs are written in a way which is easily readable by a human. Now it comes with very huge library of computerized proofs, and it is very interesting for example to see how it looks like the graph of theorems connections, and which are important whilst which are hard to prove etc. cs.ru.nl/~freek/mizar/mml.ps.gz general description is available here: cs.ru.nl/~freek/mizar | |
| Jan 26, 2010 at 7:25 | history | answered | Gil Kalai | CC BY-SA 2.5 |