| Cylindrical algebraic decomposition using validated numerics AW Strzeboński Journal of Symbolic Computation 41 (9), 1021-1038, 2006 | 136 | 2006 |
| Solving systems of strict polynomial inequalities A Strzeboński Journal of Symbolic Computation 29 (3), 471-480, 2000 | 124 | 2000 |
| A comparative study of two real root isolation methods AG Akritas, AW Strzebonski Nonlinear Analysis: Modelling and Control 10 (4), 297-304, 2005 | 75 | 2005 |
| Euler characteristic in semialgebraic and other o-minimal groups AW Strzebonski Journal of Pure and Applied Algebra 96 (2), 173-201, 1994 | 71 | 1994 |
| Cylindrical algebraic decomposition using local projections A Strzeboński Proceedings of the 39th International Symposium on Symbolic and Algebraic …, 2014 | 54 | 2014 |
| Computing in the field of complex algebraic numbers AW Strzeboński Journal of Symbolic Computation 24 (6), 647-656, 1997 | 45 | 1997 |
| 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 | 44 | 2006 |
| 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 AG Akritas, AW Strzebonski, PS Vigklas Nonlinear Analysis: Modelling and Control 13 (3), 265-279, 2008 | 32 | 2008 |
| Real root isolation for exp-log functions A Strzebonski Proceedings of the twenty-first international symposium on Symbolic and …, 2008 | 25 | 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 | 24 | 1994 |
| Univariate real root isolation in an extension field A Strzebonski, E Tsigaridas Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011 | 23 | 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 |
| Feature Articles-Solving Algebraic Inequalities A Strzebonski Mathematica Journal 7 (4), 525-541, 2000 | 22 | 2000 |
| An algorithm for systems of strong polynomial inequalities AW Strzebonski Mathematica Journal 4 (4), 74-77, 1994 | 21 | 1994 |
| Cylindrical decomposition for systems transcendental in the first variable A Strzeboński Journal of Symbolic Computation 46 (11), 1284-1290, 2011 | 20 | 2011 |
| 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 | 17 | 2010 |
| Univariate real root isolation in multiple extension fields A Strzeboński, EP Tsigaridas Proceedings of the 37th International Symposium on Symbolic and Algebraic …, 2012 | 16 | 2012 |
| Real root isolation for tame elementary functions A Strzebonski Proceedings of the 2009 international symposium on Symbolic and algebraic …, 2009 | 16 | 2009 |
| A real polynomial decision algorithm using arbitrary-precision floating point arithmetic A Strzebonski Reliable Computing 5, 337-346, 1999 | 16 | 1999 |
Elias TsigaridasINRIAZweryfikowany adres z inria.fr
