• Gsoc 2011 report jeremias yehdegho: implementing f5
• About
• Overview
• Algorithms
• F5B
• FGLM
• Rational simplification modulo prime ideal
• Looking back & looking forward