Georgia Institute of Technology College of Sciences

This thesis introduces a modular framework written in Macaulay2 designed to solve nonlinear algebra problems.  First, we will introduce the background for the framework, covering gates, circuits, and straight-line programs, and then we will define the gates used in the framework.  The remainder of the talk will include well-known algorithms such as Newton's method and Runge-Kutta for solving nonlinear algebra problems, their implementation in the framework, and explicit conic problems with a comparison between different methods.