My Portfolio
Small and large quantities and arithmetic
Exploration, Conjecture, and Proof
Interactive
Math Games
& Activities
Connect the Dots - A Research Setting
Our favorite starting research setting for teaching math investigations. Click here to use it online.
Yucky Chocolate & Chomp - Strategy, Proof, & Problem-posing
Click to play online. Click for html version.
Number Squeeze - Fraction and Decimal Ordering Game
Click to play online. Click for html version.
GeoProof Studio - Develop proofs exploring their full structure
A tool for developing and displaying proofs in synthetic geometry.
Click here to use this program online.
Teacher Guide: pdf doc.
Sample .geoproof activity files zip
See more ways to use GPS with quadrilaterals on our geometry page.
All of the above programs were designed in detail by Joshua Abrams. Some he initially coded in Netlogo, Python, and even Pascal (for those of you who remember that one), but all of the above versions were written using LLMs. As much as Josh enjoys coding, he has found it gratifying to get to focus on the curriculum development process and have a programming team of LLMs to do the technical work. Despite the constant claims in the media about a single AI prompt producing working code, most of these programs, lacking similar pre-existing models for LLM training, required many days of fine-tuning. It is a fascinating (and sometimes frustrating) process, but it is far more efficient than doing it by hand and has freed up time for creatively developing new tools for student investigations.