axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] Machine Checked Implementation of BuchBerger's Algorit


From: daly
Subject: [Axiom-developer] Machine Checked Implementation of BuchBerger's Algorithm
Date: Fri, 10 Jul 2015 19:54:54 -0500

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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]