Processing Math: Done
jsMath
Differences between revisions 3 and 4
⇤ ← Revision 3 as of 2009-01-06 12:54:00 →
Size: 1060
Editor: MartinAlbrecht
Comment:
← Revision 4 as of 2009-01-06 12:55:35 → ⇥
Size: 1128
Editor: MartinAlbrecht
Comment:
Deletions are marked like this. Additions are marked like this.
Line 14: Line 14:
 * Justin Gash's PhD thesis on F5 [[attachment:gash-phd.pdf]]  * Till Steger's [[http://eprint.iacr.org/2006/404|Diplom thesis]]
 * Justin Gash's [[attachment:gash-phd.pdf|PhD thesis on 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)