接続

Annals of Mathematics Supplementary Material & Appendix Structuring

brycewang-stanfordbybrycewang-stanford
•
1.1k
•
学習とドキュメンテーション

Guides the placement of technical proofs, auxiliary lemmas, and machine-assisted computations between main text and appendices for pure mathematics manuscripts.

The anmath-supplementary skill enforces the rigorous structural standards required by elite pure-mathematics journals like the Annals of Mathematics. Because mathematics journals reject science-style supplemental files, this skill helps authors maintain proof integrity by ensuring all logically essential arguments remain in the main text while delegating lengthy, routine computations and case analyses to self-contained appendices. It provides actionable checklists and formatting guidelines for cross-referencing, managing computer-assisted proofs, and deciding when auxiliary results warrant independent companion papers.

主な機能

01Identifies when complex auxiliary theorems justify companion paper publication
02Provides standards for documenting and archiving computer-assisted mathematical proofs
03Ensures compliance with pure mathematics appendix conventions and citation mechanics
041,069 GitHub stars
05Delineates essential proof elements from auxiliary computations to maintain main text flow
06Includes pre-submission checklists to prevent proof gaps or hidden essential steps

ユースケース

01Structuring complex multi-part pure math manuscripts targeted at top-tier mathematical journals
02Deciding whether a long technical estimate belongs in the main narrative or an appendix
03Documenting machine-assisted verification code and software versions for academic referee review