F5 Project at Sage Days 12
- Martin Albrecht
- John Perry
- 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.
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