Source Code

All code on this page is released into the public domain. You are free to use, modify, and distribute this code for any purpose.

F4 Algorithm

The F4 Algorithm for computing Groebner bases in parallel, with accompanying paper and talk.

Updated: June 27th, 2026

Download ZIP Read Article View Slides

Systems Paper

A short paper and talk on the Ax computer algebra system.

Updated: June 27th, 2026

Read Article View Slides

Ax Groebner routines

The F4 and FGLM algorithms, packaged for integration with other software.

Updated: July 17th, 2026

Download ZIP

Cyclic-11 Groebner Basis

We computed a Groebner basis for cyclic-11 mod p in 144 hours using 1.1 TB of memory.

Updated: May 12th, 2026

Timing Data