Statistical Machine Intelligence & Learning Engine
Symbolic programming for the next generation of numerical software
An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator to execute them.
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
The Egison Programming Language
A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.