Timeline for How to write computer-assisted mathematics well?
Current License: CC BY-SA 4.0
14 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jul 12, 2020 at 13:33 | comment | added | Lee Mosher | Another high-bar model, from the field of geometric topology, is the paper by D. Gabai, R. Meyerhoff, and N. Thurston, Homotopy hyperbolic 3-manifolds are hyperbolic. | |
Jul 12, 2020 at 2:34 | answer | added | user44143 | timeline score: 0 | |
Jun 27, 2020 at 1:56 | answer | added | Boris Bukh | timeline score: 9 | |
Jun 27, 2020 at 1:29 | answer | added | Timothy Chow | timeline score: 5 | |
Jun 25, 2020 at 22:56 | history | became hot network question | |||
Jun 25, 2020 at 21:13 | comment | added | Joseph O'Rourke | This earlier MO question may be helpful: Computer calculations in a paper. There I suggest that Thomas Hales' work on the Kepler Conjecture can serve as a (high-bar) model. | |
Jun 25, 2020 at 17:12 | history | made wiki | Post Made Community Wiki by S. Carnahan♦ | ||
Jun 25, 2020 at 16:13 | comment | added | J.J. Green | If you use a closed-source and proprietary CAS then I think providing the source is less important than a clear description of the formulation. | |
Jun 25, 2020 at 15:33 | comment | added | Timothy Chow | In terms of sharing your code, I made some comments in my answer to a related MO question. | |
Jun 25, 2020 at 15:30 | comment | added | Terry Tao | It is also courteous to provide checksums. For instance, if one needs to evaluate the output $f(N)$ some computable function $f$ at some large number $N = 10^{10}$, also provide evaluations of $f$ at other values (e.g., $10^j$ for $j=1,\dots,9$), or also report the values of a related function $g(N)$. In particular any reported computations that are consistent with the theory or heuristics of what you are computing are reassuring. | |
Jun 25, 2020 at 15:29 | answer | added | Gerhard Paseman | timeline score: 7 | |
Jun 25, 2020 at 15:04 | history | edited | YCor |
edited tags
|
|
Jun 25, 2020 at 15:01 | comment | added | YCor | My opinion is that writing the computer-assisted mathematics should now include sharing the code, and to share the code in a universally accessible way, ideally requires sharing it on an open-source language. In any case it's IMHO an excellent and important question. | |
Jun 25, 2020 at 14:56 | history | asked | Jakub Konieczny | CC BY-SA 4.0 |