| Tue, 18 Mar 2008 20:33:33 +0100 | wenzelm | tuned proof; | file | diff | annotate |
| Wed, 31 Oct 2007 12:19:45 +0100 | chaieb | Added example for the ideal membership problem solved by algebra | file | diff | annotate |
| Thu, 05 Jul 2007 00:06:19 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 12 Jun 2007 10:40:44 +0200 | chaieb | Tuned proofs : now use 'algebra ad: ...' | file | diff | annotate |
| Mon, 11 Jun 2007 18:34:12 +0200 | nipkow | nex example | file | diff | annotate |
| Tue, 05 Jun 2007 22:47:49 +0200 | wenzelm | Groebner Basis Examples. | file | diff | annotate |