Author

Adam Strzeboński

Observed names: A. Strzeboński, A. W. Strzebonski, A. W. W. Strzebonski, ADAM WOJCIECH STRZEBOŃSKI, Adam Strzebonski, Adam W. Strzebonski, Adam W. Strzeboński, Strzebonski, A., Strzebonski, Adam, Strzeboński, Adam, Strzeboński, Adam W.

Observed institutions: Jagiellonian University, University of Thessaly, Wolfram Research (United States)

ORCID: 0000-0003-1282-4640

Observed ORCID: 0000-0003-1282-4640

OpenAlex ID: A5011129468

Cylindrical Algebraic Decomposition using validated numerics

2006 · Adam W. Strzeboński · Journal of Symbolic Computation · 126

Solving Systems of Strict Polynomial Inequalities

2000 · Adam Strzeboński · Journal of Symbolic Computation · 100

PDF

Euler characteristic in semialgebraic and other o-minimal groups

1994 · Adam W. Strzebonski · Journal of Pure and Applied Algebra · 49

A Comparative Study of Two Real Root Isolation Methods

2005 · A. G. Akritas, A. W. Strzebonski · Nonlinear Analysis Modelling and Control · 47

Frobenius Numbers by Lattice Point Enumeration

2007 · Einstein, D., Lichtblau, D., et al. · Zenodo (CERN European Organization for Nuclear Research) · 33

PDF

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

2006 · A. Akritas, A. Strzeboński, et al. · Computing · 32

Computing in the Field of Complex Algebraic Numbers

1997 · ADAM WOJCIECH STRZEBOŃSKI · Journal of Symbolic Computation · 29

PDF

Real root isolation for exp-log functions

2008 · Adam Strzebonski · International Symposium on Symbolic and Algebraic Computation · 27

Cylindrical algebraic decomposition using local projections

2015 · Adam Strzeboński · Journal of Symbolic Computation · 24

PDF

Univariate real root isolation in an extension field

2011 · Adam Strzebonski, Elias Tsigaridas · International Symposium on Symbolic and Algebraic Computation · 23

Improving the Performance of the Continued Fractions Method Using New Bounds of Positive Roots

2008 · A. G. G. Akritas, A. W. W. Strzebonski, et al. · Nonlinear Analysis Modelling and Control · 23

Computation with semialgebraic sets represented by cylindrical algebraic formulas

2010 · Adam Strzeboński · International Symposium on Symbolic and Algebraic Computation · 21

Real root isolation for tame elementary functions

2009 · Adam Strzebonski · International Symposium on Symbolic and Algebraic Computation · 21

Cylindrical decomposition for systems transcendental in the first variable

2011 · Adam Strzeboński · Journal of Symbolic Computation · 20

Real root isolation for exp–log–arctan functions

2011 · Adam Strzeboński · Journal of Symbolic Computation · 18

PDF

Univariate real root isolation in multiple extension fields

2012 · Adam Strzeboński, Elias P. Tsigaridas · International Symposium on Symbolic and Algebraic Computation · 14

Cylindrical algebraic decomposition using local projections

2014 · Adam Strzeboński · International Symposium on Symbolic and Algebraic Computation · 13

Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas

2012 · Adam Strzeboński · International Symposium on Symbolic and Algebraic Computation · 13

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

2010 · Christopher W. Brown, Adam Strzeboński · International Symposium on Symbolic and Algebraic Computation · 10

Univariate real root isolation in an extension field and applications

2018 · Adam Strzebonski, Elias Tsigaridas · Journal of Symbolic Computation · 9

Solving Algebraic Inequalities

2000 · Adam Strzeboński · UCLA - Biblioteca de Ciencias y Tecnologia Felix Morales Bueno · 9

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

1999 · Adam Strzebonski · Springer eBooks · 9

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

2007 · Alkiviadis G. Akritas, Adam W. Strzeboński, et al. · Lecture notes in computer science · 8

One-dimensional groups definable in o-minimal structures

1994 · Adam W. Strzebonski · Journal of Pure and Applied Algebra · 8

PDF

CAD Adjacency Computation Using Validated Numerics

2017 · Adam Strzeboński · International Symposium on Symbolic and Algebraic Computation · 7

Works count: 43

Citation count: 727

H-index: 15

I10-index: 19