Processing Math: Done

No jsMath TeX fonts found -- using unicode fonts instead.
This may be slow and might not print well.
Use the jsMath control panel to get additional information.

jsMath Control PanelHide this Message

jsMath

Differences between revisions 9 and 10

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

Faugere's original paper
Till Stegers' Diplom thesis
Justin Gash's PhD thesis on F5
Christian Eder: On The Criteria Of The F5 Algorithm
Christian Eder: The Algorithmic Behaviour of the F5 Algorithm

Code

John Perry's Singular implementation of F5 (three variants)
Till Stegers' Magma implementation of F5
Simon King's Sage/Cython implementation of F5
Martin Albrecht's Sage/Python implementation of F5 (three variants)
Martin Albrecht's Sage/Python implementation of Matrix F5

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