Adam W. Strzebonski

Publication Activity (10 Years)

Years Active: 1997-2019
Publications (10 Years): 7

Top Topics

Image Reconstruction From Projections

Hierarchical Decomposition

Polynomial Equations

Top Venues

J. Symb. Comput.

Publications

Adam W. Strzebonski, Elias P. Tsigaridas
Univariate real root isolation in an extension field and applications. J. Symb. Comput. 92 (2019)
Adam W. Strzebonski
Asymptotic Solutions of Polynomial Equations with Exp-Log Coefficients. CoRR (2019)
Adam W. Strzebonski
Comparison of CAD-based Methods for Computation of Rational Function Limits. ISSAC (2018)
Adam W. Strzebonski
CAD Adjacency Computation Using Validated Numerics. CoRR (2017)
Hoon Hong, Adam W. Strzebonski
Algorithm for computing semi-Fourier sequences of expressions involving exponentiations and integrations. CoRR (2017)
Adam W. Strzebonski
CAD Adjacency Computation Using Validated Numerics. ISSAC (2017)
Adam W. Strzebonski
Cylindrical algebraic decomposition using local projections. J. Symb. Comput. 76 (2016)
Adam W. Strzebonski
Cylindrical Algebraic Decomposition Using Local Projections. CoRR (2014)
Adam W. Strzebonski
Divide-And-Conquer Computation of Cylindrical Algebraic Decomposition. CoRR (2014)
Adam W. Strzebonski
Cylindrical algebraic decomposition using local projections. ISSAC (2014)
Adam W. Strzebonski, Elias P. Tsigaridas
Univariate real root isolation in multiple extension fields. ISSAC (2012)
Adam W. Strzebonski
Real root isolation for exp-log-arctan functions. J. Symb. Comput. 47 (3) (2012)
Adam W. Strzebonski
Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas. ISSAC (2012)
Adam W. Strzebonski
Cylindrical decomposition for systems transcendental in the first variable. J. Symb. Comput. 46 (11) (2011)
Adam W. Strzebonski, Elias P. Tsigaridas
Univariate real root isolation in an extension field CoRR (2011)
Adam W. Strzebonski, Elias P. Tsigaridas
Univariate real root isolation in an extension field. ISSAC (2011)
Adam W. Strzebonski
Computation with semialgebraic sets represented by cylindrical algebraic formulas. ISSAC (2010)
Christopher W. Brown, Adam W. Strzebonski
Black-box/white-box simplification and applications to quantifier elimination. ISSAC (2010)
Adam W. Strzebonski
Real root isolation for tame elementary functions. ISSAC (2009)
Adam W. Strzebonski
Real root isolation for exp-log functions. ISSAC (2008)
Alkiviadis G. Akritas, Adam W. Strzebonski, Panagiotis S. Vigklas
Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds. CASC (2007)
Adam W. Strzebonski
Cylindrical Algebraic Decomposition using validated numerics. J. Symb. Comput. 41 (9) (2006)
Alkiviadis G. Akritas, Adam W. Strzebonski, Panagiotis S. Vigklas
Implementations of a New Theorem for Computing Bounds for Positive Roots of Polynomials. Computing 78 (4) (2006)
Adam W. Strzebonski
Applications of Algorithms for Solving Equations and Inequalities in Mathematica. Algorithmic Algebra and Logic (2005)
Adam W. Strzebonski
Solving Systems of Strict Polynomial Inequalities. J. Symb. Comput. 29 (3) (2000)
Adam W. Strzebonski
A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic. Reliab. Comput. 5 (3) (1999)
Adam W. Strzebonski
A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic. SCAN (1998)
Adam W. Strzebonski
Computing in the Field of Complex Algebraic Numbers. J. Symb. Comput. 24 (6) (1997)