Adam W. Strzebonski

According to our database, Adam W. Strzebonski authored at least 24 papers between 1997 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Computing Limits of Quotients of Multivariate Real Analytic Functions.

Adam W. Strzebonski

CoRR, 2021

2019

Univariate real root isolation in an extension field and applications.

Adam W. Strzebonski, Elias P. Tsigaridas

J. Symb. Comput., 2019

Asymptotic Solutions of Polynomial Equations with Exp-Log Coefficients.

Adam W. Strzebonski

CoRR, 2019

2018

Comparison of CAD-based Methods for Computation of Rational Function Limits.

Adam W. Strzebonski

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2017

Algorithm for computing semi-Fourier sequences of expressions involving exponentiations and integrations.

Hoon Hong, Adam W. Strzebonski

CoRR, 2017

CAD Adjacency Computation Using Validated Numerics.

Adam W. Strzebonski

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

2016

Cylindrical algebraic decomposition using local projections.

Adam W. Strzebonski

J. Symb. Comput., 2016

2014

Divide-And-Conquer Computation of Cylindrical Algebraic Decomposition.

Adam W. Strzebonski

CoRR, 2014

2012

Real root isolation for exp-log-arctan functions.

Adam W. Strzebonski

J. Symb. Comput., 2012

Univariate real root isolation in multiple extension fields.

Adam W. Strzebonski, Elias P. Tsigaridas

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas.

Adam W. Strzebonski

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

2011

Cylindrical decomposition for systems transcendental in the first variable.

Adam W. Strzebonski

J. Symb. Comput., 2011

Univariate real root isolation in an extension field.

Adam W. Strzebonski, Elias P. Tsigaridas

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

2010

Computation with semialgebraic sets represented by cylindrical algebraic formulas.

Adam W. Strzebonski

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

Black-box/white-box simplification and applications to quantifier elimination.

Christopher W. Brown, Adam W. Strzebonski

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

2009

Real root isolation for tame elementary functions.

Adam W. Strzebonski

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

2008

Real root isolation for exp-log functions.

Adam W. Strzebonski

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

2007

Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds.

Alkiviadis G. Akritas, Adam W. Strzebonski, Panagiotis S. Vigklas

Proceedings of the Computer Algebra in Scientific Computing, 10th International Workshop, 2007

2006

Cylindrical Algebraic Decomposition using validated numerics.

Adam W. Strzebonski

J. Symb. Comput., 2006

Implementations of a New Theorem for Computing Bounds for Positive Roots of Polynomials.

Alkiviadis G. Akritas, Adam W. Strzebonski, Panagiotis S. Vigklas

Computing, 2006

2005

Applications of Algorithms for Solving Equations and Inequalities in Mathematica.

Adam W. Strzebonski

Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005

2000

Solving Systems of Strict Polynomial Inequalities.

Adam W. Strzebonski

J. Symb. Comput., 2000

1999

A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic.

Adam W. Strzebonski

Reliab. Comput., 1999

1997

Computing in the Field of Complex Algebraic Numbers.

Adam W. Strzebonski

J. Symb. Comput., 1997