Global solutions of well-constrained transcendental systems using expression trees and a single solution test. - Maxim Aizenshtein; Michael Barton; Gershon Elber (Comput. Aided Geom. Des., 2012)