Maxim Aizenshtein, Michael Barton, Gershon Elber. Global Solutions of Well-Constrained Transcendental Systems Using Expression Trees and a Single Solution Test. In Bernard Mourrain, Scott Schaefer, Guoliang Xu, editors, Advances in Geometric Modeling and Processing, 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010. Proceedings. Volume 6130 of Lecture Notes in Computer Science, pages 1-18, Springer, 2010. [doi]
Abstract is missing.