Skip to main content
MathOverflow

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

Required fields*

6
  • 21
    $\begingroup$ 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. $\endgroup$ Commented Jun 25, 2020 at 15:01
  • 13
    $\begingroup$ 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. $\endgroup$ Commented Jun 25, 2020 at 15:30
  • 6
    $\begingroup$ In terms of sharing your code, I made some comments in my answer to a related MO question. $\endgroup$ Commented Jun 25, 2020 at 15:33
  • 1
    $\begingroup$ 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. $\endgroup$ Commented Jun 25, 2020 at 16:13
  • 2
    $\begingroup$ 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. $\endgroup$ Commented Jun 25, 2020 at 21:13