Adam Strzebonski

Adam Strzebonski

Wolfram Research, Inc. - Champaign / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4980653
person_outline Adam Strzebonski's MOST POPULAR ARTICLES
1-) Cylindrical algebraic decomposition using validated numerics Journal of Symbolic Computation 41 (9), 1021-1038, 2006
2-) Solving systems of strict polynomial inequalities Journal of Symbolic Computation 29 (3), 471-480, 2000
3-) A comparative study of two real root isolation methods Nonlinear Analysis: Modelling and Control 10 (4), 297-304, 2005
4-) Euler characteristic in semialgebraic and other o-minimal groups Journal of Pure and Applied Algebra 96 (2), 173-201, 1994
5-) Cylindrical algebraic decomposition using local projections Proceedings of the 39th International Symposium on Symbolic and Algebraic …, 2014