Adam W. Strzebonski

30 papers B 11Journal 17Unranked 2

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