Adam W. Strzebonski

发表

CAD Adjacency Computation Using Validated Numerics

Adam W. Strzebonski, A. Strzebonski, 2017, ISSAC.

Computing in the Field of Complex Algebraic Numbers

Adam W. Strzebonski, 1997, J. Symb. Comput..

Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas

Adam W. Strzebonski, A. Strzebonski, 2012, ISSAC.

Computation with semialgebraic sets represented by cylindrical algebraic formulas

Adam W. Strzebonski, 2010, ISSAC.

Real root isolation for exp-log-arctan functions

Adam W. Strzebonski, 2012, J. Symb. Comput..

Univariate real root isolation in an extension field pdf

Elias P. Tsigaridas, Adam W. Strzebonski, A. Strzebonski, 2011, ISSAC '11.

Univariate real root isolation in multiple extension fields

Elias P. Tsigaridas, Adam W. Strzebonski, A. Strzebonski, 2012, ISSAC.

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

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

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

Adam W. Strzebonski, 2018, ISSAC.

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

Hoon Hong, Adam W. Strzebonski, 2017, ArXiv.

Real root isolation for tame elementary functions

Adam W. Strzebonski, 2009, ISSAC '09.

Asymptotic Solutions of Polynomial Equations with Exp-Log Coefficients pdf

Adam W. Strzebonski, 2019, ArXiv.

Applications of Algorithms for Solving Equations and Inequalities in Mathematica

Adam W. Strzebonski, 2005, Algorithmic Algebra and Logic.

Real root isolation for exp-log functions

Adam W. Strzebonski, 2008, ISSAC '08.

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

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

Cylindrical algebraic decomposition using local projections

Adam W. Strzebonski, A. Strzebonski, 2014, J. Symb. Comput..

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

Adam W. Strzebonski, 1999, Reliab. Comput..

Univariate real root isolation in an extension field and applications

Elias P. Tsigaridas, Adam W. Strzebonski, A. Strzebonski, 2019, J. Symb. Comput..

Cylindrical algebraic decomposition using local projections pdf

Adam W. Strzebonski, 2016, J. Symb. Comput..

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

Christopher W. Brown, Adam W. Strzebonski, A. Strzebonski, 2010, ISSAC.

Solving Systems of Strict Polynomial Inequalities

Adam W. Strzebonski, A. Strzebonski, 2000, J. Symb. Comput..

Divide-And-Conquer Computation of Cylindrical Algebraic Decomposition pdf

Adam W. Strzebonski, 2014, ArXiv.

Cylindrical decomposition for systems transcendental in the first variable

Adam W. Strzebonski, 2011, J. Symb. Comput..

Cylindrical Algebraic Decomposition using validated numerics

Adam W. Strzebonski, A. Strzebonski, 2006, J. Symb. Comput..