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

learning

math-help — это скилл для Claude Code, который служит путеводителем по математическому инструментарию: помогает выбрать нужный инструмент для конкретной математической задачи. Скилл описывает пять уровней вычислений: SymPy для символьной алгебры (уравнения, интегралы, производные, матрицы), Z3 для constraint solving и доказательства теорем, Math Scratchpad для пошаговой верификации рассуждений, Math Tutor для обучения и генерации задач, Lean 4 для формальных машинных доказательств. Дополнительно охвачены численные инструменты: NumPy (160 функций), SciPy (289 функций) и mpmath с произвольной точностью. Каждый уровень снабжён готовыми командами — от решения уравнений и вычисления пределов до оптимизации с ограничениями и построения графиков.