symengine : SymEngine is a fast symbolic manipulation library, written in C++
author: symengine
created: 2008-08-13 18:40:14
c-plus-plus computer-algebra math c++


Numbas : A completely browser-based e-assessment/e-learning system, with an emphasis on mathematics
author: numbas
created: 2011-04-25 08:08:44
algebra assessment computer-algebra e-assessment education javascript mathematics newcastle-university numbas quiz scorm up-for-grabs


Symbolism : Computer Algebra and Symbolic Computation in C#
author: dharmatech
created: 2013-01-01 02:23:11
c-sharp computer-algebra symbolic-computation c#


piranha : The Piranha computer algebra system.
author: bluescarni
created: 2013-06-25 15:49:31
astrodynamics c-plus-plus cas celestial-mechanics computer-algebra computer-algebra-system physics python c++


examples : Example xAct notebooks with common usage patterns
author: xAct-contrib
created: 2013-08-22 14:41:25
computer-algebra mathematica


LissaJS : An algebra parsing, evaluation and simplification system written entirely in JavaScript.
author: numbas
created: 2013-10-29 14:37:13
algebra computer-algebra javascript newcastle-university numbas


symja_android_library : Symja - Java computer algebra and symbolic math library. Differentiation, integration, equation solving, polynomial factorization and linear algebra functions.
author: axkr
created: 2013-12-04 17:11:24
algebra android computer-algebra math pattern-matching symbolic-math symja java


mathnet-symbolics : Math.NET Symbolics
author: mathnet
created: 2014-03-29 22:50:41
computer-algebra dotnet fsharp math mathnet symbolic-manipulation f#


kigen : Computational Semigroup Theory Software System written in Clojure
author: egri-nagy
created: 2015-02-07 10:13:25
abstract-algebra clojure computer-algebra computer-algebra-system diagram-semigroups mathematics semigroup


sequencer : Purely algorithmic number sequence identification
author: p-e-w
created: 2015-02-16 20:44:36
computer-algebra formula identify-sequences mathematics sequence scala


gap : Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
author: gap-system
created: 2015-02-24 16:47:50
algebra computer-algebra computer-algebra-system discrete-mathematics group-theory math mathematics representation-theory gap


th-cas : Compile time CAS(Computer Algebra System) for Haskell
author: junjihashimoto
created: 2015-04-10 01:54:39
algebra cas computer-algebra haskell


SymEngine.jl : Julia wrappers of SymEngine
author: symengine
created: 2015-06-07 17:41:32
computer-algebra julia math


equality-checker : Lightweight server for testing equivalence of two symbolic expressions.
author: ucam-cl-dtg
created: 2015-07-22 16:01:33
computer-aided-assessment computer-algebra computer-algebra-system e-assessment python symbolic-manipulation sympy


symengine.py : Python wrappers for SymEngine
author: symengine
created: 2015-08-24 15:56:54
computer-algebra math python science


symengine.rb : Ruby wrappers for SymEngine
author: symengine
created: 2015-08-25 03:56:20
computer-algebra math ruby rubydatascience c


libsemigroups : C++ library for semigroups and monoids
author: james-d-mitchell
created: 2015-11-26 04:10:01
c-plus-plus-11 computer-algebra congruence enumeration monoid semigroup c++


Algebrite : Computer Algebra System in Javascript (Coffeescript)
author: davidedc
created: 2016-03-23 18:39:26
algebra algebraic algebraic-computation cas coffeescript computer-algebra computer-algebra-system javascript javascript-cas symbolic symbolic-computation symbolic-manipulation


expreduce : An experimental computer algebra system written in Go
author: corywalker
created: 2016-06-22 22:07:06
calculus cas computer-algebra language symbolic mathematica


WuRittSolva : WuRittSolva is a standard application package for computer algebra system Mathematica on Wu-Ritt Method
author: LKTPD
created: 2016-07-20 12:08:51
algebra algorithm computer-algebra mathematica mathematical-modelling polynomials wu-ritt


mppp : Multiprecision for modern C++
author: bluescarni
created: 2016-08-24 22:37:05
c-plus-plus c-plus-plus-11 c-plus-plus-14 c-plus-plus-17 computer-algebra gmp math math-bignum mpfr multiprecision c++


pattern-rewriting : A simple pattern-based-rewrite-rule library in Java and lisp (separately) with application to equation solving, automated theorem proving, and grammatical transformations.
author: Ahlkanvorez
created: 2016-10-26 00:28:20
computer-algebra java lisp racket


thesis-code : Code for senior thesis: Invertible Transducers and Automaton Groups
author: tim-becker
created: 2017-02-06 20:19:36
algebra computer-algebra group-theory sagemath transducers python


tsym : Tiny symbolic library
author: lubgr
created: 2017-02-17 08:50:43
computer-algebra cpp library c++


Reduce.jl : Symbolic parser generator for Julia language expressions using REDUCE algebra term rewriter
author: chakravala
created: 2017-05-05 03:37:29
computer-algebra julia mathematics metaprogramming parser-generator reduce repl symbolic-computation syntax-tree term-rewriting


libmug : A library for computing modular GCD of univariate polynomials.
author: luis4a0
created: 2017-05-13 17:29:26
computer-algebra gcd greatest-common-divisor modular-arithmetic polynomial c


orbit : Generic orbit and graph search algorithms in Clojure.
author: egri-nagy
created: 2017-06-03 02:24:55
clojure computer-algebra orbit search-algorithm


pcl_stereoimages : Point Cloud Reproduction from Stereoimages.
author: computeVision
created: 2017-08-13 08:16:06
computer-algebra computer-vision numpy pcl pcloud python rigid-motion-estimation robotics stereo-algorithms stereo-matching stereo-vision


algebrain : Computer Algebra System focusing on symbolic transformations
author: dedoussis
created: 2017-09-23 22:24:09
algebra antlr antlr4 computer-algebra computer-algebra-system java


symja_web : http://matheclipse.org - website for Symja project: https://github.com/axkr/symja_android_library
author: axkr
created: 2017-10-25 04:54:08
computer-algebra mathics symbolic-math symja javascript


mini-cas : Library for symbolic computation in C++11
author: ArthurCarmo
created: 2018-03-27 01:49:41
arbitrary-precision-integer arithmetic computer-algebra polynomials rational-numbers roff


tpTensor : a Mathematica package for index-free tensor algebra.
author: ahnorton
created: 2018-04-27 01:40:10
computer-algebra differential-geometry electrodynamics latex-editor mathematica tensor-algebra


SolidSharp : Tentative symbolic computation framework geared towards 2D/3D geometry & CAD - WIP
author: GoldenCrystal
created: 2018-05-09 18:10:47
computer-algebra computer-algebra-system csharp dotnet geometry symbolic-computation c#


RKkit : Playing with Runge-Kutta methods
author: Thierry-Dumont
created: 2018-08-01 14:53:23
algebraic-numbers computer-algebra exact-algorithm jupyter notebooks ode-solver order ordinary-differential-equations rooted-trees runge-kutta-methods sagemath stability jupyter notebook


CAS-C- : Experimental CAS in C
author: Ariana1729
created: 2018-08-19 15:56:30
c calculus computer-algebra computer-algebra-system solving-odes


ACAS : Experimental Computer Algebra System
author: herrhotzenplotz
created: 2018-09-22 15:13:57
computer-algebra computer-algebra-system experimental parser-generator proof-of-concept c#


Computer-Algebra : An experimental CAS (Computer Algebra System) writen in Java
author: alvarogatenorio
created: 2018-09-29 17:45:21
computer-algebra java


form.lang : FORM syntax highlighting for GtkSourceView, in particular GNOME editor
author: vsht
created: 2018-10-06 14:02:52
computer-algebra gedit gedit-syntax gnome loop-integrals quantum-field-theory


crime : GAP package that computes the cohomology rings of finite p-groups, induced maps, and Massey products
author: gap-packages
created: 2018-10-10 21:11:56
computer-algebra mathematics gap


champ : Cherednik Algebra Magma Package
author: ulthiel
created: 2018-10-18 03:55:08
algebra algebraic-geometry computer-algebra group-theory mathematics representation-theory


kotlingrad : Kotlin𝛁: Differentiable Functional Programming with Algebraic Data Types
author: breandan
created: 2018-10-19 05:50:11
algebra autograd automatic-differentiation backpropagation computer-algebra differentiable-programming functional-programming kotlin tex


fgb_sage : A Sage interface for FGb (Gröbner basis computations)
author: mwageringel
created: 2018-11-21 19:58:13
computer-algebra groebner-basis sage sagemath python


jsEmCAS : Javascript Computer Algebra System (standalone/emscripten based on eigenmath)
author: nilqed
created: 2018-12-15 21:43:21
computer-algebra computer-algebra-system javascript repl standalone symbolic-math


calcupy : Calculus powered graphical calculator.
author: darkeclipz
created: 2018-12-16 22:10:48
algebra calculus cas computation computer-algebra linear-algebra math mathematics symbolic symbolic-computation sympy python


hecke_operators : Hecke operators for unitary groups over imaginary quadratic number fields
author: schoennenbeck
created: 2019-01-20 14:01:46
computer-algebra hecke-operators lattices number-theory matlab


Cookies help us deliver our services. By using our services, you agree to our use of cookies Learn more