Выбор математических инструментов для вычислений

learning

math-help is a Claude Code skill that acts as a reference guide for selecting the right mathematical tool for any given computation task. It documents five layers of the math cognitive stack: SymPy for symbolic algebra (equations, integrals, derivatives, matrix operations), Z3 for constraint solving and theorem proving, Math Scratchpad for step-by-step reasoning verification, Math Tutor for learning and generating practice problems, and Lean 4 for formal machine-verified proofs. Numerical tools are also covered — NumPy with 160 functions, SciPy with 289 functions, and mpmath for arbitrary-precision arithmetic. Each layer includes ready-to-run command examples, making it practical for students, researchers, and developers who need exact or verified mathematical computation inside Claude Code.