Folgen
Adam Strzebonski
Adam Strzebonski
Wolfram Research, Inc.
Bestätigte E-Mail-Adresse bei wolfram.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Cylindrical algebraic decomposition using validated numerics
AW Strzeboński
Journal of Symbolic Computation 41 (9), 1021-1038, 2006
1402006
Solving systems of strict polynomial inequalities
A Strzeboński
Journal of Symbolic Computation 29 (3), 471-480, 2000
1262000
A comparative study of two real root isolation methods
AG Akritas, AW Strzebonski
Nonlinear Analysis: Modelling and Control 10 (4), 297-304, 2005
792005
Euler characteristic in semialgebraic and other o-minimal groups
AW Strzebonski
Journal of Pure and Applied Algebra 96 (2), 173-201, 1994
761994
Cylindrical algebraic decomposition using local projections
A Strzeboński
Proceedings of the 39th International Symposium on Symbolic and Algebraic …, 2014
562014
Implementations of a new theorem for computing bounds for positive roots of polynomials
A Akritas, A Strzeboński, P Vigklas
Computing 78, 355-367, 2006
472006
Computing in the field of complex algebraic numbers
AW Strzeboński
Journal of Symbolic Computation 24 (6), 647-656, 1997
451997
Frobenius numbers by lattice point enumeration
D Einstein, D Lichtblau, A Strzebonski, S Wagon
Integers 7 (1), A15, 2007
422007
Improving the performance of the continued fractions method using new bounds of positive roots
AGG Akritas, AWW Strzebonski, PSS Vigklas
Nonlinear Analysis: Modelling and Control 13 (3), 265-279, 2008
362008
Real root isolation for exp-log functions
A Strzebonski
Proceedings of the twenty-first international symposium on Symbolic and …, 2008
282008
Implementation of real root isolation algorithms in Mathematica
A Akritas, A Bocharov, A Strzebonski
International Conference on Interval and Computer-Algebraic Methods in …, 1994
261994
Feature Articles-Solving Algebraic Inequalities
A Strzebonski
Mathematica Journal 7 (4), 525-541, 2000
242000
Cylindrical decomposition for systems transcendental in the first variable
A Strzeboński
Journal of Symbolic Computation 46 (11), 1284-1290, 2011
222011
Univariate real root isolation in an extension field
A Strzebonski, E Tsigaridas
Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011
222011
Computation with semialgebraic sets represented by cylindrical algebraic formulas
A Strzeboński
Proceedings of the 2010 International Symposium on Symbolic and Algebraic …, 2010
222010
An algorithm for systems of strong polynomial inequalities
AW Strzebonski
Mathematica Journal 4 (4), 74-77, 1994
211994
Constrained optimization
B Champion, A Strzebonski
Wolfram Mathematica Tutorial Collection, 1-71, 2008
202008
Univariate real root isolation in multiple extension fields
A Strzeboński, EP Tsigaridas
Proceedings of the 37th International Symposium on Symbolic and Algebraic …, 2012
192012
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
192010
Real root isolation for tame elementary functions
A Strzebonski
Proceedings of the 2009 international symposium on Symbolic and algebraic …, 2009
192009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20