Computing in the Field of Complex Algebraic Numbers. - Adam W. Strzebonski (J. Symb. Comput., 1997)

A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic. - Adam W. Strzebonski (Reliab. Comput., 1999)

Solving Systems of Strict Polynomial Inequalities. - Adam W. Strzebonski (J. Symb. Comput., 2000)

Applications of Algorithms for Solving Equations and Inequalities in Mathematica. - Adam W. Strzebonski (Algorithmic Algebra and Logic, 2005)

Implementations of a New Theorem for Computing Bounds for Positive Roots of Polynomials. - Alkiviadis G. Akritas; Adam W. Strzebonski; Panagiotis S. Vigklas (Computing, 2006)

Cylindrical Algebraic Decomposition using validated numerics. - Adam W. Strzebonski (J. Symb. Comput., 2006)

Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds. - Alkiviadis G. Akritas; Adam W. Strzebonski; Panagiotis S. Vigklas (CASC, 2007)

Real root isolation for exp-log functions. - Adam W. Strzebonski (ISSAC, 2008)

Real root isolation for tame elementary functions. - Adam W. Strzebonski (ISSAC, 2009)

Black-box/white-box simplification and applications to quantifier elimination. - Christopher W. Brown 001; Adam W. Strzebonski (ISSAC, 2010)

Computation with semialgebraic sets represented by cylindrical algebraic formulas. - Adam W. Strzebonski (ISSAC, 2010)

Univariate real root isolation in an extension field. - Adam W. Strzebonski; Elias P. Tsigaridas (ISSAC, 2011)

Cylindrical decomposition for systems transcendental in the first variable. - Adam W. Strzebonski (J. Symb. Comput., 2011)

Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas. - Adam W. Strzebonski (ISSAC, 2012)

Univariate real root isolation in multiple extension fields. - Adam W. Strzebonski; Elias P. Tsigaridas (ISSAC, 2012)

Real root isolation for exp-log-arctan functions. - Adam W. Strzebonski (J. Symb. Comput., 2012)

Divide-And-Conquer Computation of Cylindrical Algebraic Decomposition. - Adam W. Strzebonski (CoRR, 2014)

Cylindrical algebraic decomposition using local projections. - Adam W. Strzebonski (J. Symb. Comput., 2016)

CAD Adjacency Computation Using Validated Numerics. - Adam W. Strzebonski (ISSAC, 2017)

Algorithm for computing semi-Fourier sequences of expressions involving exponentiations and integrations. - Hoon Hong; Adam W. Strzebonski (CoRR, 2017)

Comparison of CAD-based Methods for Computation of Rational Function Limits. - Adam W. Strzebonski (ISSAC, 2018)

Asymptotic Solutions of Polynomial Equations with Exp-Log Coefficients. - Adam W. Strzebonski (CoRR, 2019)

Univariate real root isolation in an extension field and applications. - Adam W. Strzebonski; Elias P. Tsigaridas (J. Symb. Comput., 2019)

Computing Limits of Quotients of Multivariate Real Analytic Functions. - Adam W. Strzebonski (CoRR, 2021)

A new method for reducing algebraic programs to polynomial programs. - Muhammad Maaz 002; Adam W. Strzebonski (CoRR, 2025)