occupation
Data Scientists
description
Maintain a lightweight Lean blueprint alongside a natural-language mathematical proof for dependency navigation, self-review, and reviewer access without requiring full proof formalization.
updated
h-lu/mathematical-paper-skills
SkillsMP has collected 4 skills from h-lu/mathematical-paper-skills. Open a skill to review its source and details.
- Latest recorded source activity
- SkillsMP catalog refreshed
- skills collected
- 4
- GitHub stars
- 0
- GitHub forks
- 0
Install with an AI assistant
Copy this prompt into the AI assistant you're using.
Help me install Agent Skills from this repository: https://github.com/h-lu/mathematical-paper-skills
First review the source, SKILL.md files, and companion files. List the available Skills so I can choose. Then install the complete directories for my chosen Skills into the current project and confirm the required files are present.Skills in this repository
2 occupation categories · 100% classified
Showing 4 of 4 collected skills.
skill
occupation
description
updated
occupation
Technical Writers
description
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…
updated
occupation
Technical Writers
description
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…
Source text: Chinese
updated
occupation
Data Scientists
description
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,…
updated
Showing 4 of 4 collected skills.