I'm wondering if anyone can help me track down the various methods Maple uses to solve nonlinear systems of equations. In particular, I don't need an in-depth discussion, I'm mainly interested in finding a citation or two for a paper I'm working on. I'm aware of the approach using resultants and a discussion of it in Geddes, Czapor, and Labahn (1992). I'm also aware of Groebner bases. Are there any other methods Maple uses?

Best,

Shawn