Ben Jones, Qualifying Project Presentation

Title: Computationally Augmenting Algebraic Exploration

Advisors: Steve Tanimoto and Emina Torlak

Abstract: Algebra is an example of a class of problem solving where the state space of possible solutions is infinite. Computer algebra systems offer powerful tools for solving these problems when the goal state is known, but they give little help when working in an exploratory mode. In these situations, hand manipulation is still the dominant mode of exploration. We explore using search over solution graphs to augment handwritten algebra, and along the way develop a framework for problem solving on infinite search spaces.