[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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] Machine Checked Implementation of BuchBerger's Algorithm,
daly <=