Processing Math: Done
jsMath
Differences between revisions 8 and 10 (spanning 2 versions)
⇤ ← Revision 8 as of 2009-01-12 15:51:24 →
Size: 1320
Editor: TillStegers
Comment: oops, wrong comma
← Revision 10 as of 2009-01-21 00:20:32 → ⇥
Size: 1320
Editor: TillStegers
Comment:
No differences found!

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)