domains / families / research / anmath-methods

anmath-methods

separate

Use when laying out the proof strategy of a pure-mathematics manuscript for Annals of Mathematics — the architecture of the argument, the key lemmas and propositions, the novel technique, and where the difficulty lies. Designs and exposes the proof plan; does not check final correctness line-by-line (see anmath-referee-strategy).

When to use

• laying out proof strategy
• designing proof architecture
• decomposing arguments into lemmas
• isolating novel techniques
• locating proof difficulty
• creating proof overviews

When not to use

• checking final correctness line-by-line
• referee strategy

Skill page

Source