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]
@inproceedings{AizenshteinBE10,
title = {Global Solutions of Well-Constrained Transcendental Systems Using Expression Trees and a Single Solution Test},
author = {Maxim Aizenshtein and Michael Barton and Gershon Elber},
year = {2010},
doi = {10.1007/978-3-642-13411-1_1},
url = {http://dx.doi.org/10.1007/978-3-642-13411-1_1},
tags = {testing},
researchr = {https://researchr.org/publication/AizenshteinBE10},
cites = {0},
citedby = {0},
pages = {1-18},
booktitle = {Advances in Geometric Modeling and Processing, 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010. Proceedings},
editor = {Bernard Mourrain and Scott Schaefer and Guoliang Xu},
volume = {6130},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-13410-4},
}