write-model-in-paper

Write formal problem definitions and examples for Typst research papers.

35|7|Updated Jan 9, 2026
One-click install
npx skills add https://github.com/CodingThrust/problem-reductions --skill write-model-in-paper
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: write-model-in-paper
Source: https://github.com/CodingThrust/problem-reductions/tree/main/.claude/skills/write-model-in-paper
Command: npx skills add https://github.com/CodingThrust/problem-reductions --skill write-model-in-paper

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

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.

Frequently Asked Questions about write-model-in-paper

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I write a formal problem definition for a research paper in Typst?

Authoring a formal problem definition in Typst requires detailing mathematical inputs, objectives, and constraints within a `problem-def` entry. You must also integrate concise background, cite best-known algorithms with proper references, and provide illustrative examples.

What is the best way to document a problem model and algorithms in Typst?

Documenting a problem model in Typst involves creating entries that detail formal definitions, background sections, and algorithm descriptions. Adhering to established notation, citation, and visualization standards ensures clarity and accuracy for your research paper.

Can I include visual examples from canonical data in a Typst research paper?

Yes, you can include visual examples from canonical data in a Typst research paper. The process involves using a structured framework to generate illustrative visualizations that clearly demonstrate the problem model being documented.

How do I structure mathematical definitions for an NP-hard problem in Typst?

Structuring mathematical definitions for NP-hard problems in Typst involves explicitly modeling inputs, objectives, and constraints. This structured approach ensures the formal definition adheres to academic notation and citation conventions.

Does writing a problem model in Typst require specific citation formats?

Writing a problem model in Typst requires adherence to established citation standards. When detailing background sections and citing best-known algorithms, you must use proper references to maintain academic accuracy and clarity.