Global Solutions of Well-Constrained Transcendental Systems Using Expression Trees and a Single Solution Test.

Maxim Aizenshtein, Michael Barton, Gershon Elber

Browse the full GMP paper archive.