expreduce VS fricas

There is a go implementation of a CAS which syntax similar to Mathematica which uses this rules based integration library.

https://github.com/corywalker/expreduce

Possible inspiration: https://github.com/corywalker/expreduce

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...

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

Fricas home page: https://fricas.github.io

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.

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.