Just so you know, Axiom is the work of a LOT of people.
FriCAS should update this list. Credit is important.
Roy AdlerChristian AistleitnerMichael Albaugh
Cyril AlbergaJason Allen Richard Anderson
George Andrews Jerry Archibald S.J.
This will be a bit long but ...
I'm working to combine Axiom and LEAN. LEAN is a CMU/MS project[0][1]
They have a proof assistant and a rapidly growing database of theorems
and proofs. The whole database (mathlib[2]) is strongly typed so it is easy
to know if a theorem applies to a step in your
Presumably Xcas
(https://www-fourier.ujf-grenoble.fr/~parisse/giac/cascmd_en.pdf) was conflated
with Fricas:). Sincerely, Mark.
From: fricas-devel@googlegroups.com on behalf
of Tim Daly
Sent: 15 February 2024 22:31
To: fricas-devel@googlegroups.com
Subject: