'math' 검색 결과

Turn mathematical modeling reports into DrawIO diagrams showing solution steps, model structures, and data processing flows. Produce editable source files, export PDFs for papers when DrawIO is available, and record diagram choices and export results.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Illustrate the overall approach in a modeling paper
• Draw solution flows for individual subproblems
• Show model structure and variable relationships

Implements mathematical models from a design report as reproducible code, runs calculations, and checks results. It records methods and validation findings in a results report and produces data-based PDF charts for papers.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Implementing models from a modeling report
• Checking constraints and evaluating prediction errors
• Creating PDF charts from computed results

Check a completed mathematical modeling competition paper for structural errors, figure references, numerical consistency, and PDF layout problems. Supports Typst and LaTeX, fixes directly repairable issues, and produces a verification report with remaining submission tasks.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Final checks before submitting a competition paper
• Comparing reported numbers with recorded results
• Finding broken figure and chapter references

Write mathematical modeling competition papers from existing analysis reports, results, and figure PDFs. Use competition templates in Typst or LaTeX, tools for document layout, to organize sections, place figures, and prepare references and summaries.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Turn modeling reports into a competition paper
• Use a template for MCM or CUMCM
• Place existing figures in relevant sections

Convert LaTeX article manuscripts into Quarto documents for publishing as HTML, PDF, or Word. Preserve mathematical content while adapting document settings, citations, figures, tables, and cross-references, and receive a report of items needing manual review.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Migrate a LaTeX paper to Quarto
• Prepare a manuscript for HTML, PDF, and Word
• Convert citations and cross-references

Convert LaTeX papers and reports into Typst documents, including structure, formatting, equations, figures, tables, citations, and cross-references. Reference guides and symbol mappings help translate individual commands or migrate an entire article.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Migrate an academic paper from LaTeX to Typst
• Find Typst equivalents for LaTeX commands and math symbols
• Convert tables, citations, and cross-references

Work through limits in real analysis by choosing among substitution, algebraic manipulation, derivative-based methods, and bounding arguments. The skill also guides rigorous epsilon-delta proofs and provides commands for symbolic calculations and proof checks.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Choose a method for solving a limit
• Simplify an indeterminate expression
• Check bounds for the squeeze theorem

Analyze propositional formulas and arguments using truth tables, deduction rules, and branching proof trees. Classify formulas as always true, always false, or dependent on their inputs, and check whether an argument follows from its premises.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Classifying formulas with truth tables
• Checking whether a formula can be true
• Verifying arguments with deduction rules

Work through graduate-level problems using Rudin's Real and Complex Analysis. The skill guides theorem selection for measure theory, integration, and complex analysis, with commands for textbook searches, symbolic calculations, and verification.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Choosing theorems for limits and integrals
• Working through contour integrals and residues
• Studying function spaces and linear operators

Helps select graph algorithms for shortest paths, minimum spanning trees, network flow, and coloring. Provides decision guides and example commands for symbolic calculations and checking mathematical properties.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Choosing a shortest path algorithm
• Planning a minimum spanning tree solution
• Setting up network flow equations

Work through convex optimization problems by checking convexity, putting objectives and constraints into a standard form, and choosing a solver. The skill provides SciPy examples and outlines checks for constraint satisfaction and mathematical conditions used to assess optimality.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Checking whether an objective and its constraints are convex
• Putting a maximization problem into standard minimization form
• Choosing a solver for linear, quadratic, or semidefinite problems

Work through predicate logic problems by examining quantifiers, which express “all” or “some,” organizing formulas, and choosing proof steps. The skill also guides resolution proofs and countermodels that show why an argument is invalid.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Checking quantifier scope and variable binding
• Converting formulas to prenex normal form
• Planning a resolution proof

Choose approaches for prime number problems, including primality testing, factorization, and prime distribution. The skill outlines relevant algorithms and theorems, with commands for symbolic calculation and checking mathematical claims.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Choosing a primality testing method
• Selecting a factorization approach
• Studying prime distribution and gaps

Plan solutions to modular arithmetic problems, which involve integer remainders. Choose methods for modular inverses, simultaneous congruences, powers, quadratic residues, and primitive roots, with example commands for symbolic calculations and checking mathematical claims.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Finding a modular inverse with the extended Euclidean algorithm
• Solving simultaneous congruences with the Chinese Remainder Theorem
• Simplifying powers using Euler's Theorem

Statistics, probability, linear algebra, and mathematical foundations for data science

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Unified math capabilities - computation, solving, and explanation. I route to the right tool.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Routes problems to appropriate mathematical frameworks using expert heuristics

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Expert in formal logic, model theory, computability, and foundations of mathematics

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Master discrete mathematics, logic, formal proofs, and computational thinking. Build the mathematical foundation for all computer science.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Search arXiv physics, math, and computer science preprints using natural language queries. Powered by Valyu semantic search.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Use when the user asks to "read back" a paid campaign change, "did this ad change work", or "compare ROAS/CPA before and after"; reads ROAS/CPA against a control over a fixed readback window and returns a Promote / Keep-testing / Rollback / Unproven readback decision with the math delegated to roi-calculator. Not for RQS scoring or veto adjudication — use ad-account-auditor; not for the ROI ratio math — use roi-calculator; not for cross-channel rollups — use performance-analyzer. 付费广告复盘/ROAS回看/投放效果归因

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

当用户要求数学建模、建模竞赛、建模分析、代码求解、结果可视化或生成数学建模论文时使用。支持完整三阶段流程、单独执行任一角色，以及在关键节点使用独立 Subagent 进行阶段内质检；默认只启用质检 Subagent，用户可明确选择额外协作。

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Use when working with Lean 4 (.lean files), writing mathematical proofs, seeing "failed to synthesize instance" errors, managing sorry/axiom elimination, or searching mathlib for lemmas - provides build-first workflow, haveI/letI patterns, compiler-guided repair, and LSP integration

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Explain a cap table, dilution, SAFEs, option pools, and round mechanics in plain English with the actual math. Use when asked to explain dilution, model a SAFE or priced round, size an option pool, understand a term sheet's economics, or figure out who owns what after a raise. Produces a worked ownership breakdown before/after the round, the dilution math step by step, and the traps founders miss. Not legal or financial advice.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.