February 2026

• Solve, Verify, Correct -- An IMO Problem-Solving Pipeline  February 12, 2026

August 2023

• Algorithmic Improvements of Dynamical Systems for SageMath - Google Summer of Code 2023  August 25, 2023

September 2022

• Improve Height Functionality for SageMath - Google Summer of Code 2022  September 6, 2022