grzegorzmazur / yacas
Computer calculations made easy
☆125Updated 3 weeks ago
Related projects: ⓘ
- ☆139Updated this week
- Official repository of the FriCAS computer algebra system☆304Updated this week
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 4 years ago
- Axiom is a free, open source computer algebra system☆359Updated last year
- A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)☆187Updated 8 months ago
- ☆28Updated 6 years ago
- Literate Programming in C/C++☆83Updated 3 weeks ago
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆36Updated 12 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆71Updated 3 years ago
- Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)☆86Updated 4 years ago
- Computer Algebra and Symbolic Computation for R6RS Scheme☆62Updated last year
- Numerical Algorithms in C☆81Updated 12 years ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆34Updated 3 weeks ago
- OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations☆24Updated last month
- Rubi for Mathematica☆227Updated 6 months ago
- Maxima, the descendant of Macsyma computer algebra system (CAS), ported to Android☆44Updated 7 years ago
- Collection of builtin GNU TeXmacs plugins☆39Updated last month
- Public repository for Abstact Algebra Theory and Applications☆157Updated last month
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆17Updated 6 months ago
- Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)☆122Updated 2 months ago
- Packages for the Maxima computer algebra system, contributed by users☆42Updated 3 weeks ago
- yorick interpreted language☆77Updated 2 months ago
- The CWEB System of Structured Documentation☆29Updated 8 years ago
- Qt IDE☆44Updated 3 weeks ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆53Updated 2 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆80Updated 10 months ago
- A Rule-Based Integrator Built On An If-Then-Else Decision Tree☆32Updated 3 years ago
- knot theory and computational algebra software☆33Updated 10 years ago
- A repository of user contributed content for TeXmacs☆47Updated 8 months ago
- Metamath program - source code for the Metamath executable☆76Updated last month