Connect

Annals of Mathematics Writing Style & Rigor

brycewang-stanfordbybrycewang-stanford
•
1.1k
•
Learning & Documentation

Polishes mathematical prose, eliminates hidden proof gaps, and enforces rigorous quantifier precision for Annals of Mathematics submissions.

The anmath-writing-style skill provides late-stage polish for pure mathematics manuscripts targeting Annals of Mathematics and top-tier journals. It methodically scans drafts to eliminate hand-wavy phrases like 'clearly' and 'it is easy to see,' ensuring every logical step is either explicitly verified or concisely referenced. Additionally, it enforces strict mathematical precision by verifying quantifier ordering, tracking constant dependencies, ensuring all lemma hypotheses are self-contained, and perfecting academic mathematical English without sacrificing technical exactness.

Key Features

01Polishes mathematical English, display equation punctuation, and cross-references
02Verifies precise citations for standard or analogous mathematical arguments
031,069 GitHub stars
04Enforces explicit quantifier order and clear tracking of constant dependencies
05Ensures all lemmas, propositions, and theorems carry self-contained hypotheses
06Identifies and resolves softening phrases like 'clearly', 'obviously', and 'easy to see'

Use Cases

01Eliminating unproven assertions and hand-waving before single-blind peer review
02Polishing mathematical English for non-native authors while preserving strict rigor
03Conducting final pre-submission rigor audits on pure mathematics papers