Menu
SkillsMP a collecté 4 skills depuis h-lu/mathematical-paper-skills. Ouvrez un skill pour examiner sa source et ses détails.
Copiez ce prompt dans l’assistant IA que vous utilisez.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/h-lu/mathematical-paper-skills.Affichage de 4 skills collectés sur 4.
Maintain a lightweight Lean blueprint alongside a natural-language mathematical proof for dependency navigation, self-review, and reviewer access without requiring full proof formalization.
Langue du texte source : anglais
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…
Langue du texte source : anglais
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…
Langue du texte source : chinois
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,…
Langue du texte source : anglais