h-lu/mathematical-paper-skills

lean-natural-proof-blueprint

Maintain a lightweight Lean blueprint alongside a natural-language mathematical proof for dependency navigation, self-review, and reviewer access without requiring full proof formalization.

لغة النص الأصلي: الإنجليزية

mathematical-paper-writing

Write, restructure, or review research mathematics papers with mathematical fidelity, clear exposition, and an appropriate journal register. Use for contribution and venue assessment, titles and abstracts, theorem and proof architecture, substantive…

لغة النص الأصلي: الإنجليزية

drr-program-paper-writing

Organize or restructure research papers in the Dumortier–Roussarie–Rousseau (DRR) program on finite cyclicity of planar graphics. Use for paper outlines, section order, proof organization, and placement of figures, tables, and appendices. Focus on…

لغة النص الأصلي: الصينية

dynamical-systems-paper-figures

Design, produce, or review mathematically faithful figures for dynamical systems, fast-slow systems, singular perturbations, canards, planar phase portraits, and limit cycles. Use for new figures, substantial redesigns, computed plots, figure systems,…

لغة النص الأصلي: الإنجليزية