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.

Machine Integers

Optimized machine integer routines for high-performance computation.

Updated: August 27th, 2025

Download C Source

F4 Algorithm

The F4 Algorithm for computing Groebner bases in parallel, with accompanying research article.

Updated: February 20th, 2026

Download ZIP Read Article

FGLM Algorithm

The FGLM Algorithm for computing lexicographic Groebner bases.

Updated: October 28th, 2025

Download ZIP

Systems Paper

A short paper on the Ax computer algebra system.

Updated: February 24th, 2026

Read Article