Maintain a lightweight Lean blueprint alongside a natural-language mathematical proof for dependency navigation, self-review, and reviewer access without requiring full proof formalization.
原文语言:英语
菜单
SkillsMP 已收集 h-lu/mathematical-paper-skills 中的 4 个 Skill。打开任一 Skill 可查看来源和详情。
复制这段 Prompt,发给你正在使用的 AI 助手。
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/h-lu/mathematical-paper-skills.已展示 4 / 4 个已收集 Skill。
Maintain a lightweight Lean blueprint alongside a natural-language mathematical proof for dependency navigation, self-review, and reviewer access without requiring full proof formalization.
原文语言:英语
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…
原文语言:英语
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…
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,…
原文语言:英语