Our great sponsors
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
For rewriting, you may also find interesing equality saturation: https://egraphs-good.github.io/
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
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.
Related posts
- FriCAS – an advanced computer algebra system
- [2021 Day 6] [Fricas] Solution via finding a recurrence and solving it
- "FriCAS algebra library, the largest and most advanced free general purpose computer algebra system" (as of September 2007)
- Maxima: A computer algebra system written in Common Lisp
- A Mature Library For Symbolic Computation?