Differences between revisions 1 and 10 (spanning 9 versions)

F5 Project at Sage Days 12

Participants

Does F5 terminate for all inputs and can it be proven? What adaptations are necessary if not.
What is the relationship between the F5 criteria and the Buchberger criteria?
Come up with an F4-style F5.

-  ⇤ ← Revision 1 as of 2008-12-23 12:38:45 → 
  Size: 930
  Editor: MartinAlbrecht
  Comment: kicking things off
+   ← Revision 10 as of 2009-01-21 00:20:32 → ⇥
  Size: 1320
  Editor: TillStegers
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 13:
- *
 *
 *
+ * Faugere's [[http://www-spaces.lip6.fr/%40papers/F02a.pdf|original paper]]
 * Till Stegers' [[http://eprint.iacr.org/2006/404|Diplom thesis]]
 * Justin Gash's [[attachment:gash-phd.pdf|PhD thesis on F5]]
 * Christian Eder: [[http://arxiv.org/abs/0804.2033|On The Criteria Of The F5 Algorithm]]
 * Christian Eder: [[http://arxiv.org/abs/0810.5335|The Algorithmic Behaviour of the F5 Algorithm]]
-Line 18:
+Line 20:
- * John Perry's Singular [[http://www.math.usm.edu/perry/Research/|implementation] of F5 (three variants)
 * Till Steger's Magma [[http://wwwcsif.cs.ucdavis.edu/~stegers/f5_magma.tar.gz|implementation]] of F5
+ * John Perry's Singular [[http://www.math.usm.edu/perry/Research/|implementation]] of F5 (three variants)
 * Till Stegers' Magma [[http://wwwcsif.cs.ucdavis.edu/~stegers/f5_magma.tar.gz|implementation]] of F5