Axiom VS fricas

Als GUI gibts auch noch Axiom.

Like : https://github.com/MattMcManis/Axiom

• Shutter Encoder • Shotcut • Axiom • XMedia Recode • Github ffmpeg-gui

FFMPEG. Super easy, especially if you use it's GUI Axiom. In every tab, change options to "COPY" and don't touch anything else except for Format tab (choose whatever container you want there). Untouched files with changed container in around a minute (depending on how big your source file is).

Try this

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.