American Mathematical Society
Guidelines for the Submission, Refereeing and Publication of Computer-Assisted Proofs
To guide the decision-making process
(As approved by the January 2017 Council)
As with all proofs in mathematics, computer-assisted proofs should be presented in enough detail for experts to validate them. Independent researchers should be able to examine all relevant calculations. Although each specific research community must and should decide its own standards, generally useful practices include giving complete descriptions of algorithms, and assuring access to software. When less standard packages or custom-written programs are used, it may be important to provide source code. Just as with the written text of papers, it is important to consider long-term stability of repositories and appropriate placement. For example, code can be attached to an arXiv submission or appended to the online version of the journal where the paper is published.