Renaud,
Your lip6 email address bounces.
I'm spending some time on proving Axiom's algorithms, most likely using Coq.
I ran across one of your papers on the FOC project.
Can you tell me the current state of FOC, where I might find papers
related to proving Axiom, and where, if any, FOC code is pu
Renaud,
Can you point me at any FOC papers (and hopefully code) online?
Is this still an ongoing project?
Tim Daly
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer
