What problem does it solve?
This Skill provides a comprehensive guide and structured approach to writing detailed problem definitions within a Typst-based research paper, ensuring clarity, accuracy, and adherence to established conventions.
Core Features & Use Cases
- Formal Definition Authoring: Guides users on structuring mathematical definitions for inputs, objectives, and constraints.
- Background and Algorithm Integration: Assists in writing concise background information and citing best-known algorithms with proper references.
- Example Generation: Provides a framework for creating illustrative examples with visualizations, sourced from canonical data.
- Use Case: A researcher needs to formally document a new NP-hard problem in their paper. This Skill helps them write the formal definition, explain its background, cite relevant algorithms, and include a visual example, all formatted correctly for the Typst paper.
Quick Start
Use the write-model-in-paper skill to document the formal definition and provide an example for the 'MaximumIndependentSet' problem in the Typst paper.