Search Results for "symbolic math toolbox"

DeepSeek-Math is DeepSeek’s specialized model (or dataset + evaluation) focusing on mathematical reasoning, symbolic manipulation, proof steps, and advanced quantitative problem solving. The repository is likely to include fine-tuning routines or task datasets (e.g. MATH, GSM8K, ARB), demonstration notebooks, prompt templates, and evaluation results on math benchmarks.

The Mathematics Dataset, developed by Google DeepMind, is a synthetic dataset designed to evaluate and train machine learning models on mathematical reasoning and symbolic manipulation. It generates question-and-answer pairs across a wide range of mathematical topics typically found in school-level curricula, testing a model’s ability to reason about algebra, arithmetic, calculus, probability, and more. Each question is programmatically generated with structured templates to ensure clear...

SymPy is an open source Python library for symbolic mathematics. Its goal is to become a full-featured computer algebra system (CAS) while maintaining the simplicity of its code. Written entirely in Python, SymPy is easy to use, comprehensible and easily extensible. It’s also very lightweight as it solely depends on mpmath, a pure Python library for arbitrary floating point arithmetic. SymPy has participated in every Google Summer of Code since 2007 and because of this has continuously...

latexify_py converts small, math-heavy pieces of Python code into human-readable LaTeX that mirrors the intent of the computation, not just its surface syntax. It parses Python functions and expressions into an abstract syntax tree (AST), applies symbolic rewrites for common mathematical constructs, and then emits LaTeX that compiles cleanly in standard environments.

ToRA is an open-source framework developed by Microsoft for building tool-integrated reasoning agents powered by large language models. The project focuses on improving the ability of AI systems to solve complex mathematical and analytical problems by combining natural language reasoning with external computational tools. Instead of relying solely on text generation, the system dynamically invokes tools such as symbolic solvers or programming libraries when deeper computation is required....

This is a sophisticated & integrated simulation and analysis environment for dynamical systems models of physical systems (ODEs, DAEs, maps, and hybrid systems). It supports symbolic math, optimization, continuation, data analysis, biological apps...

Design for Six Sigma Toolbox - based on Scientific Python and Symbolic Python

PyGiNaC is a Python interface to the C++ symbolic math library GiNaC (www.ginac.de). Its design attempts to be an easy to use and convenient alternative to cint or ginsh.

PyGraphMath is a system for the manipulation of symbolic and numerical expr., equations, vectors .. (Maxima). Main focus lies on direct 3D graphical viewport (openGL) which displays math objects. Syntax is "pseudo-python" and supports objects, loops .. *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** OBSOLETE: please use instead http://www.sagemath.org/ with PyODE (or pyphyssim/PPE) *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***

PyNaC is a Python package for coordinate-free symbolic math, based on Geometric Algebra (Clifford Algebra) and Geometric Calculus (Clifford Analysis).