Skip to main content
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