I'm Tim Daly, lead developer on the Axiom computer algebra system. I'm sorry if this is not to the correct person.
I'm looking to contact Laurent Thery about the files for the implementation and proof of Buchberger's Algorithm. There is a link in the paper to http://www.inria.fr/lemme/buch but it is dead. Is there somewhere I can reach the sources? I'd like to reproduce the work to understand it better. Tim Daly _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
