Adam Strzebonski
Adam Strzebonski
Wolfram Research, Inc.
Verified email at wolfram.com - Homepage
Title
Cited by
Cited by
Year
Cylindrical algebraic decomposition using validated numerics
AW Strzeboński
Journal of Symbolic Computation 41 (9), 1021-1038, 2006
1242006
Solving systems of strict polynomial inequalities
A Strzeboński
Journal of Symbolic Computation 29 (3), 471-480, 2000
1142000
A comparative study of two real root isolation methods
AG Akritas, AW Strzebonski
Nonlinear Analysis: Modelling and Control 10 (4), 297-304, 2005
692005
Euler characteristic in semialgebraic and other o-minimal groups
AW Strzebonski
Journal of Pure and Applied Algebra 96 (2), 173-201, 1994
651994
Cylindrical algebraic decomposition using local projections
A Strzeboński
Journal of Symbolic Computation 76, 36-64, 2016
422016
Implementations of a new theorem for computing bounds for positive roots of polynomials
A Akritas, A Strzeboński, P Vigklas
Computing 78 (4), 355-367, 2006
422006
Computing in the field of complex algebraic numbers
AW Strzeboński
Journal of Symbolic Computation 24 (6), 647-656, 1997
401997
Frobenius numbers by lattice point enumeration
D Einstein, D Lichtblau, A Strzebonski, S Wagon
Integers 7 (1), A15, 2007
382007
Improving the performance of the continued fractions method using new bounds of positive roots
AG Akritas, AW Strzebonski, PS Vigklas
Nonlinear Analysis: Modelling and Control 13 (3), 265-279, 2008
292008
Feature Articles-Solving Algebraic Inequalities
A Strzebonski
Mathematica Journal 7 (4), 525-541, 1999
231999
Implementation of real root isolation algorithms in Mathematica
A Akritas, A Bocharov, A Strzebonski
International Conference on Interval and Computer-Algebraic Methods in …, 1994
231994
Computation with semialgebraic sets represented by cylindrical algebraic formulas
A Strzeboński
Proceedings of the 2010 International Symposium on Symbolic and Algebraic …, 2010
222010
Real root isolation for exp-log functions
A Strzebonski
Proceedings of the twenty-first international symposium on Symbolic and …, 2008
212008
An algorithm for systems of strong polynomial inequalities
AW Strzebonski
Mathematica Journal 4 (4), 74-77, 1994
201994
Cylindrical decomposition for systems transcendental in the first variable
A Strzeboński
Journal of Symbolic Computation 46 (11), 1284-1290, 2011
192011
Univariate real root isolation in an extension field
A Strzebonski, E Tsigaridas
Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011
192011
Constrained optimization
B Champion, A Strzebonski
Wolfram Mathematica Tutorial Collection, 1-71, 2008
162008
Black-box/white-box simplification and applications to quantifier elimination
CW Brown, A Strzeboński
Proceedings of the 2010 International Symposium on Symbolic and Algebraic …, 2010
152010
A real polynomial decision algorithm using arbitrary-precision floating point arithmetic
A Strzebonski
Reliable Computing 5 (3), 337-346, 1999
151999
Univariate real root isolation in multiple extension fields
A Strzeboński, EP Tsigaridas
Proceedings of the 37th International Symposium on Symbolic and Algebraic …, 2012
142012
The system can't perform the operation now. Try again later.
Articles 1–20