Univariate real root isolation in an extension field and applications
(With E. Tsigaridas), J. of Symbolic Computation (2019) 92, 31-51.
[HAL Preprint]
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)]
Adam Strzebonski ISSAC '18 Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation, 2018
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)]
Adam Strzeboński ISSAC '17 Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017
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)]
Adam Strzeboński ISSAC '14 Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, 2014
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)]
Adam Strzeboński ISSAC '12 Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, 2012
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.
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.
Adam Strzebonski, Elias Tsigaridas ISSAC '11 Proceedings of the 36th international symposium on Symbolic and algebraic computation, 2011
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)]
Adam Strzebonski ISSAC '10 Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, 2010
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.
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)]
Adam Strzebonski ISSAC '09 Proceedings of the 2009 international symposium on Symbolic and algebraic computation, 2009
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)]
Adam Strzebonski ISSAC '08 Proceedings of the twenty-first international symposium on Symbolic and algebraic computation, 2008
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 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]