Publications

Univariate real root isolation in an extension field and applications (With E. Tsigaridas), J. of Symbolic Computation (2019) 92, 31-51. [HAL Preprint]
Lagrange's Bound on the Values of the Positive Roots of Polynomials. (With A.G. Akritas and P.S. Vigklas), Serdica Journal of Computing, 12 (4), 2018, 227-246. [Preprint at A.G. Akritas' web page]
Comparison of CAD-based Methods for Computation of Rational Function Limits, Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, 375-382, New York, NY, U.S.A., July 16-19, 2018. ACM, Carlos Arreche, ed. [Conference talk (Mathematica notebook)]

Available for download through ACM Author-Izer:

Comparison of CAD-based Methods for Computation of Rational Function Limits
Adam Strzebonski
ISSAC '18 Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation, 2018

frames are not supported
Univariate Real Root Isolation over a Single Logarithmic Extension of Real Algebraic Numbers (With E. Tsigaridas), Applications of Computer Algebra, ACA 2015, 425-445, Springer Proceedings in Mathematics & Statistics 198 (2017), Ilias S. Kotsireas, Edgar Martínez-Moro, eds.
CAD Adjacency Computation Using Validated Numerics, Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, 413-420, Kaiserslautern, Germany, July 25-28, 2017. ACM, Michael Burr, ed. [Conference talk (Mathematica notebook)]

Available for download through ACM Author-Izer:

CAD Adjacency Computation Using Validated Numerics
Adam Strzeboński
ISSAC '17 Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

frames are not supported
Cylindrical Algebraic Decomposition Using Local Projections, J. of Symbolic Computation (2016) 76, 36-64.
Cylindrical Algebraic Decomposition Using Local Projections, Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 2014, 389-396, Kobe, Japan, July 23-25, 2014. ACM, Katsusuke Nabeshima, ed. [Conference talk (Mathematica notebook)]

Available for download through ACM Author-Izer:

Cylindrical algebraic decomposition using local projections
Adam Strzeboński
ISSAC '14 Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, 2014

frames are not supported
Solving Polynomial Systems over Semialgebraic Sets Represented by Cylindrical Algebraic Formulas, Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 2012, 335-342, Grenoble, France, July 22-25, 2012. ACM, Joris van der Hoeven and Mark van Hoeij, eds. [Conference talk (Mathematica notebook)]

Available for download through ACM Author-Izer:

Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
Adam Strzeboński
ISSAC '12 Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, 2012

frames are not supported
Univariate Real Root Isolation in Multiple Extension Fields (With E. Tsigaridas), Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 2012, 343-350, Grenoble, France, July 22-25, 2012. ACM, Joris van der Hoeven and Mark van Hoeij, eds.

Available for download through ACM Author-Izer:

Univariate real root isolation in multiple extension fields
Adam Strzeboński, Elias P. Tsigaridas
ISSAC '12 Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, 2012

frames are not supported
Real root isolation for exp-log-arctan functions, J. of Symbolic Computation (2012) 47, 282-314.
Cylindrical Decomposition for Systems Transcendental in the First Variable, J. of Symbolic Computation (2011) 46, 1284-1290.
Univariate Real Root Isolation in an Extension Field (With E. Tsigaridas), Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 2011, 321-328, San Jose, California, USA, June 8-11, 2011. ACM, Anton Leykin, ed.

Available for download through ACM Author-Izer:

Univariate real root isolation in an extension field
Adam Strzebonski, Elias Tsigaridas
ISSAC '11 Proceedings of the 36th international symposium on Symbolic and algebraic computation, 2011

frames are not supported
Computation with Semialgebraic Sets Represented by Cylindrical Algebraic Formulas, Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 2010, 61-68, Munich, Germany, July 25-28, 2010. ACM, Stephen M. Watt, ed. [Conference talk (Mathematica notebook)]

Available for download through ACM Author-Izer:

Computation with semialgebraic sets represented by cylindrical algebraic formulas
Adam Strzebonski
ISSAC '10 Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, 2010

frames are not supported
Black-Box/White-Box Simplification and Applications to Quantifier Elimination (With C. W. Brown), Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 2010, 69-76, Munich, Germany, July 25-28, 2010. ACM, Stephen M. Watt, ed.

Available for download through ACM Author-Izer:

Black-box/white-box simplification and applications to quantifier elimination
Christopher W. Brown, Adam Strzebonski
ISSAC '10 Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, 2010

frames are not supported
Real Root Isolation for Tame Elementary Functions, Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 2009, 341-350, Seoul, South Korea, July 28-31, 2009. ACM, John P. May ed. [Conference talk (Mathematica notebook)]

Available for download through ACM Author-Izer:

Real root isolation for tame elementary functions
Adam Strzebonski
ISSAC '09 Proceedings of the 2009 international symposium on Symbolic and algebraic computation, 2009

frames are not supported
Improving the Performance of the Continued Fractions Method Using new Bounds of Positive Roots (With A.G. Akritas and P.S. Vigklas), Nonlinear Analysis: Modelling and Control, Vol. 13, No. 3, 2008, 265-279. [Preprint at A.G. Akritas' web page]
FLQ, the Fastest Quadratic Complexity Bound on the Values of Positive Roots of Polynomials (With A.G. Akritas and A. Argyris), Serdica Journal of Computing, Vol. 2, 2008, 145-162. [Preprint at A.G. Akritas' web page]
Real Root Isolation for Exp-Log Functions, Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 2008, 303-313, Hagenberg, Austria, July 20-23, 2008. ACM, D. Jeffrey ed. [Conference talk (Mathematica notebook)]

Available for download through ACM Author-Izer:

Real root isolation for exp-log functions
Adam Strzebonski
ISSAC '08 Proceedings of the twenty-first international symposium on Symbolic and algebraic computation, 2008

frames are not supported
Quadratic Complexity Bounds on the Values of Positive Roots of Polynomials (With A.G. Akritas and P.S. Vigklas). Abstracts of the International Conference on Polynomial Computer Algebra, PCA 2008, p. 6, St. Petersburg, Russia, April 4-7, 2008. Euler International Mathematical Institute, Russian Academy of Sciences.
On the Various Bisection Methods Derived from Vincent's Theorem (With A.G. Akritas and P.S. Vigklas), Serdica Journal of Computing, Vol. 2, 89-104, 2008. [Preprint at A.G. Akritas' web page]
Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds (With A.G. Akritas and P.S. Vigklas), Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC 2007, 24-30, Bonn, Germany, September 16-20, 2007. LNCS 4470, Springer Verlag, Berlin, V.G. Ganzha, E.W. Mayr and E.V. Vorozhtsov, eds. [Preprint at A.G. Akritas' web page]
Frobenius Numbers by Lattice Point Enumeration (With D. Einstein, D. Lichtblau and S. Wagon), INTEGERS: Electronic Journal of Combinatorial Number Theory 7, 2007, #A15. [Available online]
Implementations of a New Theorem for Computing Bounds for Positive Roots of Polynomials (With A.G. Akritas and P.S. Vigklas), Computing Vol. 78, No. 4, 2006, 355-367. [Abstract online] [Preprint at A.G. Akritas' web page]
Cylindrical Algebraic Decomposition using validated numerics, J. of Symbolic Computation (2006) 41, 1021-1038. [Examples used in the paper]
A Comparative Study of Two Real Root Isolation Methods (With A. G. Akritas), Nonlinear Analysis: Modelling and Control, Vol. 10, No. 4, 2005, 297-304. [Available online] [webMathematica demo]
Exact Global Constrained Optimization with Mathematica, Abstracts of the 11th International Conference on Applications of Computer Algebra, ACA 2005, 58, Nara, Japan, July 31 - August 3, 2005 [Conference talk (Mathematica notebook)]
Applications of Algorithms for Solving Equations and Inequalities in Mathematica, Proceedings of the A3L 2005, April 3-6, Passau, Germany, Conference in Honor of the 60th Birthday of Volker Weispfenning, A. Dolzmann, A. Seidl and T. Sturm (Eds.), 243-248. [Conference talk (Mathematica notebook)]
Effective Real Root Isolation Using Continued Fractions (With A. G. Akritas), Abstracts of the 8th International Conference on Applications of Computer Algebra, ACA 2002, 137-138, Volos Greece, June 25-28, 2002. University of Thessaly Press, Volos, 2002. Edited by: A.G. Akritas and I.S. Kotsireas. [Conference talk (Mathematica notebook)]
An Improved Algorithm for Diophantine Equations in One Variable, Abstracts of the 8th International Conference on Applications of Computer Algebra, ACA 2002, 136, Volos Greece, June 25-28, 2002. University of Thessaly Press, Volos, 2002. Edited by: A.G. Akritas and I.S. Kotsireas. [Conference talk (Mathematica notebook)]
Cylindrical Algebraic Decomposition Using Validated Numerics, Abstracts of the 8th International Conference on Applications of Computer Algebra, ACA 2002, 136-137, Volos Greece, June 25-28, 2002. University of Thessaly Press, Volos, 2002. Edited by: A.G. Akritas and I.S. Kotsireas. [Conference talk (Mathematica notebook)]
Solving Systems of Equations and Inequalities over Specified Domains, Abstracts of the 8th International Conference on Applications of Computer Algebra, ACA 2002, 92, Volos Greece, June 25-28, 2002. University of Thessaly Press, Volos, 2002. Edited by: A.G. Akritas and I.S. Kotsireas. [Conference talk (Mathematica notebook)]
Symbolic solving of systems of real algebraic equations and inequalities with Mathematica, Proceedings of SCI/ISAS 2000 Conference, Orlando, July 23-26, 2000, Vol. 8, 493-497.
Solving Algebraic Inequalities, The Mathematica Journal, Vol. 7, Iss. 4 (2000), 525-541. [Abstract]
Solving Systems of Strict Polynomial Inequalities, J. of Symbolic Computation (2000) 29, 471-480.
A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic, Reliable Computing Vol. 5 No. 3 (1999), 337-346, and in Developments in Reliable Computing, Tibor Csendes, ed., Kluwer Academic Publishers, 1999.
A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic, Volume of extended abstracts, SCAN'98 Conference, Budapest, September 22-25, 1998, 165-166.
Computing in the Field of Complex Algebraic Numbers, J. of Symbolic Computation (1997) 24, 647-656.
Algebraic Numbers in Mathematica 3.0, The Mathematica Journal Vol. 6, Iss. 4 (1996), 74-80. [Abstract]
Computing of Growth Exponents on Algebraic Sets (With T. Winiarski), Bulletin of the Polish Academy of Sciences, Mathematics, Vol. 44, No. 4 (1996), 509-514.
Algebraic Numbers in Mathematica 3.0, Mathematica in Education and Research Vol. 5, No. 3 (1996), 30-35.
An Algorithm for Systems of Strong Polynomial Inequalities, The Mathematica Journal Vol. 4, Iss. 4 (1994), 74-77.
Implementation of Real Root Isolation Algorithms in Mathematica (With A. G. Akritas and A. Bocharov), Abstracts of the International Conference on Interval and Computer-Algebraic Methods in Science and Engineering (Interval '94), 23-27, St. Petersburg, Russia, March 7-10, 1994.
Euler characteristic in semialgebraic and o-minimal groups, Journal of Pure and Applied Algebra 96 (1994), 173-201.
One-dimensional groups definable in o-minimal structures, Journal of Pure and Applied Algebra 96 (1994), 203-214.
A real-analytic constructive proof of the Lojasiewicz theorem, Communications in Algebra 22(1) (1994), 41-50.
The growth of regular functions on algebraic sets, Ann. Polon. Math. 55 (1991), 331-341. [Available online]