「math」の検索結果

Meta-mathematical connections, cross-domain synthesis, and the Complex Plane as a navigational tool. Classifies problems by quadrant (Abstract/Embodied x Logic/Creativity), routes them to relevant domains, and traces dependency chains. Use when classifying mathematical problems across domains, navigating the Complex Plane of Experience, finding cross-domain connections, or building multi-domain solution strategies.

日本語の概要は準備中です。原文の説明を表示しています。

Scholze-Clausen condensed math - condensed sets, liquid vector spaces, solid modules, 6-functor formalism, Kunneth exactness

日本語の概要は準備中です。原文の説明を表示しています。

Trigger when: (1) User mentions "manim" or "Manim Community" or "ManimCE", (2) Code contains `from manim import *`, (3) User runs `manim` CLI commands, (4) Working with Scene, MathTex, Create(), or ManimCE-specific classes. Best practices for Manim Community Edition - the community-maintained Python animation engine. Covers Scene structure, animations, LaTeX/MathTex, 3D with ThreeDScene, camera control, styling, and CLI usage. NOT for ManimGL/3b1b version (which uses `manimlib` imports and `manimgl` CLI).

日本語の概要は準備中です。原文の説明を表示しています。

Use when 高教社杯/CUMCM 数学建模任务需要实现计算、复现结果、生成表图、验证求解器输出、更新登记表，或发现建模交接中不能凭空补全的缺口。

日本語の概要は準備中です。原文の説明を表示しています。

Use when 高教社杯/CUMCM 数学建模论文需要格式化、修复、压缩或审查符号表、记号表、结果表，包括单位清理、longtable、列宽平衡或按截图修排版。

日本語の概要は準備中です。原文の説明を表示しています。

Use when 高教社杯/CUMCM 数学建模任务需要变量、假设、公式、约束、算法、验证设计、鲁棒性规划、灵敏度分析、结果 schema，或基于题面和本地证据的代码交接。

日本語の概要は準備中です。原文の説明を表示しています。

Use when 高教社杯/CUMCM 数学建模方案需要在代码、图表、摘要或最终提交前独立核验公式、单位、量纲、约束、边界情形、可行性措辞、假设或论文就绪数学结论。

日本語の概要は準備中です。原文の説明を表示しています。

Use when 高教社杯/CUMCM 数学建模任务刚开始、题面/附件/分问/交付物需要解读，或需要把模糊题意、隐含条件、数据字段、递推关系和评分侧重转成可建模的问题锁定。

日本語の概要は準備中です。原文の説明を表示しています。

Use when 高教社杯/CUMCM 数学建模论文需要检查官方规则、匿名性、AI 使用披露、页数、附录/支撑材料、代码复现、提交清单或最终提交就绪状态。

日本語の概要は準備中です。原文の説明を表示しています。

Use when 高教社杯/CUMCM 数学建模论文、模型、结果集、摘要、图表包或提交草稿需要评委视角审查、评分风险映射、结论/证据检查、创新审查或可能追问准备。

日本語の概要は準備中です。原文の説明を表示しています。

Use when 高教社杯/CUMCM 数学建模论文需要规划、选择、审查或修复图、图表、表格转图、图注、图像证据行、正文放置、附录降级或图后结论。

日本語の概要は準備中です。原文の説明を表示しています。

Use when 高教社杯/CUMCM 数学建模论文、摘要、正文、表图、附录、登记表、结论、数值、单位、场景标签、可行性措辞或提交包需要跨材料一致性审查。

日本語の概要は準備中です。原文の説明を表示しています。

Use when 高教社杯/CUMCM 数学建模项目需要竞赛级范围控制、轻量 hub 状态、当前分问交付物锁定、文献启发式解题路线、结论/证据一致性、数学核验、结果一致性审查、官方规则合规、AI 使用披露跟踪、最终提交门禁或明确任务派发。

日本語の概要は準備中です。原文の説明を表示しています。

Use when 高教社杯/CUMCM 数学建模论文需要 LaTeX 排版、模板保持、中英文摘要、公式、表格、图、参考文献、匿名性、页数、浮动体或最终 PDF 质量检查。

日本語の概要は準備中です。原文の説明を表示しています。

API 契约测试时使用。适用于消费者驱动契约测试（Pact）/ OpenAPI 验证（Dredd / Schemathesis）。融合 Pact + Schemathesis + 契约优先。

日本語の概要は準備中です。原文の説明を表示しています。

Reference patterns for mathematical and combinatorial problem-solving. Covers modular arithmetic, prime sieves, GCD/LCM, binomial coefficients, fast exponentiation, counting techniques, inclusion-exclusion, and game theory. Load this skill when a problem involves number theory, combinatorics, modular operations, or strategic game analysis.

日本語の概要は準備中です。原文の説明を表示しています。

Use after EZ_math_model coding has produced src/*.py and before packaging when code quality, reuse, vectorization, naming, or unnecessary complexity should be reviewed without changing behavior.

日本語の概要は準備中です。原文の説明を表示しています。

Use when EZ_math_model needs to read or convert PDF problem statements, extract text or tables from PDF attachments, summarize reference papers, or fall back when MinerU is unavailable.

日本語の概要は準備中です。原文の説明を表示しています。

Use when developing or extending EZ_math_model itself from a written implementation plan, especially adding algorithms, tool skills, templates, or multi-step repo changes.

日本語の概要は準備中です。原文の説明を表示しています。

Use when EZ_math_model model selection is unclear after the modeling decision tree, the problem spans multiple domains, or modeler needs several candidate approaches before writing modeling_plan.md.

日本語の概要は準備中です。原文の説明を表示しています。

Use when EZ_math_model runs in multi or hybrid mode and has two or more independent subtasks that can be assigned to subagents without shared files, shared state, or dataflow dependencies.

日本語の概要は準備中です。原文の説明を表示しています。

Use before EZ_math_model declares quality_audit, packaging, or final delivery complete, especially when pass/fail claims must be backed by files, commands, counts, or concrete evidence.

日本語の概要は準備中です。原文の説明を表示しています。

Use when EZ_math_model multi or hybrid mode needs several domain-specialist subagents to gather outside knowledge, industry context, model theory, or sensitivity-analysis references in parallel.

日本語の概要は準備中です。原文の説明を表示しています。

Use when EZ_math_model needs to convert paper.md to paper.docx, read a DOCX problem statement, preserve equations and tables, or package a modeling report as a Word document.

日本語の概要は準備中です。原文の説明を表示しています。