Maintain a lightweight Lean blueprint alongside a natural-language mathematical proof for dependency navigation, self-review, and reviewer access without requiring full proof formalization.
Idioma del texto original: inglés
Menú
SkillsMP ha recopilado 4 skills de h-lu/mathematical-paper-skills. Abre una skill para revisar su origen y sus detalles.
Copia este prompt en el asistente de IA que estés usando.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/h-lu/mathematical-paper-skills.Mostrando 4 de 4 skills recopiladas.
Maintain a lightweight Lean blueprint alongside a natural-language mathematical proof for dependency navigation, self-review, and reviewer access without requiring full proof formalization.
Idioma del texto original: inglés
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…
Idioma del texto original: inglés
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…
Idioma del texto original: chino
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,…
Idioma del texto original: inglés