American Mathematical SocietyGuidelines 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. |
-
-
Publications — Over 100 years of publishing excellence
-
-
-
Membership — Welcome to your membership center
Join the AMS
Renew your Membership
Give a Membership
Individual Membership
Institutional Membership
Other Member Types
-
-
-
Meetings & Conferences — Engage with colleagues and the latest research
-
-
-
News & Outreach — Explore news, images, posters, and mathematical essays
-
-
-
Professional Programs — Resources and opportunities to further your mathematical pursuits
-
-
-
Education — Resources to support advanced mathematics teaching and learning
For Students
For Teachers
For Department Leaders & Mentors
-
-
-
Government Relations — Advocating for the mathematical sciences
Elevating Mathematics in Congress
Legislative Priorities
Get Involved
DC-Based Fellowships
-
-
-
Giving to the AMS — Your gifts make great things happen for mathematics
-
-
-
About the AMS — Advancing research. Connecting the mathematics community.
-