This dataset code generates mathematical question and answer pairs
A computer algebra system written in pure Python
Scalable Symbolic-Numeric Set Computations
Computer Algebra System written in Common Lisp
Agena is an interpreted procedural programming language.
Partial Differential Equations, Complex Analysis, Mathematica, Farlow
Use simulation to perform statistical analyses.
Didactic application to aid students in learning Numerical Methods;
A flexible mathematical expressions parser for JAVA, Android, C# .NET
A statistical toolbox for diffusion processes
Proof Logic : A logical framework for theorem proving
Accumulation of mathematical knowledge, matrix numerical optimization
Multivariate Time Series Forecasting.
MACE is a Mathematical program for Algorithms, Calculations, Equations
This is the Curriculum for "How to Learn Mathematics Fast"
Powerful Calculus Environment and Matrices Handling Engine
mathSuite Speed & Matrix Stream Processor
Symbolic Lambda Calculus
python calculus library with imprecise and precise representations
ntccKMC: A Kripke-structure-based model checker for ntcc