Differences between revisions 1 and 10 (spanning 9 versions)
⇤ ← 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: 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

F5 Project at Sage Days 12

Participants

  • Martin Albrecht
  • John Perry

Questions/Tasks

  • 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.

Literature

Code

days12/f5 (last edited 2009-01-21 00:20:32 by TillStegers)