• Introduction
• Solution to a system of Non-linear equations:
• Current logic and Implementation
• The Logic
• Gröbner Basis
• Implementation
• Current limitations in nonlinsolve