How does SymPy's solve() find solutions to nonlinear systems?

Question

The SymPy symbolic mathematics library for Python (see) offers a solvers module for solving both singular equations and systems of equatio