Statistical Machine Intelligence & Learning Engine
-
Updated
Jun 1, 2024 - Java
Statistical Machine Intelligence & Learning Engine
Official repository of the FriCAS computer algebra system
GitHub repository for the seminar on Computer-assisted mathematics held at the University of Heidelberg during the Summer Semester of 2024.
A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/code/. Please visit the REDUCE Homepage, https://reduce-algebra.sourceforge.io/, to report any bugs or request assistance.
Symbolic programming for the next generation of numerical software
Derivative calculator with a very irritating 'simplify' implementation
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
An open-source Mathematica. 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.
A field-theory motivated approach to computer algebra.
Fork of https://github.com/fricas/fricas
A CAS that solves step-by-step. Still in development.
ReZolve is a symbolic computer algebra system that acts as a mathematical compiler written in Zig.
a computer algebra system made with no external libraries
Maths focused libraries and programs that may not neatly fit into DSA
Simple CAS project
The monorepo containing all code for the QED project
reduce.jl: Symbolic parser generator for Julia language expressions using REDUCE algebra term re-writer, automatically mirrored from https://github.com/chakravala/Reduce.jl
Lightweight server for testing equivalence of two symbolic expressions.
Add a description, image, and links to the computer-algebra-system topic page so that developers can more easily learn about it.
To associate your repository with the computer-algebra-system topic, visit your repo's landing page and select "manage topics."