gap
fricas
Our great sponsors
gap | fricas | |
---|---|---|
1 | 8 | |
755 | 286 | |
2.0% | 4.2% | |
9.4 | 9.2 | |
2 days ago | 6 days ago | |
GAP | Clojure | |
GNU General Public License v3.0 only | BSD 3-clause "New" or "Revised" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
gap
-
Abstract math programming ideas
Try implementing your own computer algebra system. Or look at the implementation of GAP (https://github.com/gap-system/gap)
fricas
-
Integral Calculator
But it's integration functionalities are less advanced and comprehensive than those of Fricas. Interestingly, the latter is, like Maxima, implemented using Lisp and stems from a ancient software lineage. Both systems are free and open-source.
Fricas home page: http://fricas.github.io
Some independent integration benchmarks, comparing multiple computer algebra systems: https://www.12000.org/my_notes/CAS_integration_tests/index.h...
- FriCAS – an advanced computer algebra system
-
Strategies for doing symbolic integration algorithmically
Even partial implementations of the Risch algorithm can be pretty daunting but you might look at a couple heuristics that handle the easier bits, like Manel Bronstien's Poor Man's Integrator https://www-sop.inria.fr/cafe/Manuel.Bronstein/pmint/index.html which doesn't need as many algebraic tools, but does need gcd, factor, and solve. I think FriCAS might use this https://github.com/fricas/fricas
- A Mature Library For Symbolic Computation?
-
[2021 Day 6] [Fricas] Solution via finding a recurrence and solving it
Fricas home page: https://fricas.github.io
-
Is Haskell a good language for CAS/numerical analysis?
I used to use Maxima back in the day, which is embedded in Lisp. With a quick googling I found FriCAS https://github.com/fricas/fricas , which aims to be "world class" AND its libraries are built in a strongly-typed DSL called Spad.
-
"FriCAS algebra library, the largest and most advanced free general purpose computer algebra system" (as of September 2007)
BTW this is not a Clojure project. It contains .boot files that look like this and GitHub thinks they're Clojure. Trying to edit the .gitattributes through a PR.
What are some alternatives?
obsidian-mathpad - Computer Algebra System (CAS) for Obsidian.md
axiom - The dynamic infrastructure framework for everybody! Distribute the workload of many different scanning tools with ease, including nmap, ffuf, masscan, nuclei, meg and many more!
AnkiMath - A bachelor's degree in mathematics.
axiom - Axiom is a free, open source computer algebra system
manim - Animation engine for explanatory math videos
Axiom - An FFmpeg GUI for Windows
AngouriMath - New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
Symbolics.jl - Symbolic programming for the next generation of numerical software
Mathics - This repository is for archival. Please see https://github.com/Mathics3/mathics-core
cadabra2 - A field-theory motivated approach to computer algebra.
casadi - CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python or Matlab/Octave.
polycalc - 🧮 Polynomial Calculator