MINION: An Environment to Organize Mathematical Problem Solving.

James M. Purtilo

Browse the full ISSAC paper archive.