Cylindrical algebraic decomposition using validated numerics AW Strzeboński Journal of Symbolic Computation 41 (9), 1021-1038, 2006 | 140 | 2006 |
Solving systems of strict polynomial inequalities A Strzeboński Journal of Symbolic Computation 29 (3), 471-480, 2000 | 126 | 2000 |
A comparative study of two real root isolation methods AG Akritas, AW Strzebonski Nonlinear Analysis: Modelling and Control 10 (4), 297-304, 2005 | 79 | 2005 |
Euler characteristic in semialgebraic and other o-minimal groups AW Strzebonski Journal of Pure and Applied Algebra 96 (2), 173-201, 1994 | 76 | 1994 |
Cylindrical algebraic decomposition using local projections A Strzeboński Proceedings of the 39th International Symposium on Symbolic and Algebraic …, 2014 | 57 | 2014 |
Implementations of a new theorem for computing bounds for positive roots of polynomials A Akritas, A Strzeboński, P Vigklas Computing 78, 355-367, 2006 | 47 | 2006 |
Computing in the field of complex algebraic numbers AW Strzeboński Journal of Symbolic Computation 24 (6), 647-656, 1997 | 45 | 1997 |
Frobenius numbers by lattice point enumeration D Einstein, D Lichtblau, A Strzebonski, S Wagon Integers 7 (1), A15, 2007 | 42 | 2007 |
Improving the performance of the continued fractions method using new bounds of positive roots AGG Akritas, AWW Strzebonski, PSS Vigklas Nonlinear Analysis: Modelling and Control 13 (3), 265-279, 2008 | 36 | 2008 |
Real root isolation for exp-log functions A Strzebonski Proceedings of the twenty-first international symposium on Symbolic and …, 2008 | 28 | 2008 |
Implementation of real root isolation algorithms in Mathematica A Akritas, A Bocharov, A Strzebonski International Conference on Interval and Computer-Algebraic Methods in …, 1994 | 26 | 1994 |
Feature Articles-Solving Algebraic Inequalities A Strzebonski Mathematica Journal 7 (4), 525-541, 2000 | 24 | 2000 |
Cylindrical decomposition for systems transcendental in the first variable A Strzeboński Journal of Symbolic Computation 46 (11), 1284-1290, 2011 | 22 | 2011 |
Univariate real root isolation in an extension field A Strzebonski, E Tsigaridas Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011 | 22 | 2011 |
Computation with semialgebraic sets represented by cylindrical algebraic formulas A Strzeboński Proceedings of the 2010 International Symposium on Symbolic and Algebraic …, 2010 | 22 | 2010 |
An algorithm for systems of strong polynomial inequalities AW Strzebonski Mathematica Journal 4 (4), 74-77, 1994 | 21 | 1994 |
Constrained optimization B Champion, A Strzebonski Wolfram Mathematica Tutorial Collection, 1-71, 2008 | 20 | 2008 |
Univariate real root isolation in multiple extension fields A Strzeboński, EP Tsigaridas Proceedings of the 37th International Symposium on Symbolic and Algebraic …, 2012 | 19 | 2012 |
Black-box/white-box simplification and applications to quantifier elimination CW Brown, A Strzeboński Proceedings of the 2010 International Symposium on Symbolic and Algebraic …, 2010 | 19 | 2010 |
Real root isolation for tame elementary functions A Strzebonski Proceedings of the 2009 international symposium on Symbolic and algebraic …, 2009 | 19 | 2009 |