Adam Strzeboński

Available identifiers

zbMath Open strzebonski.adam-wojciechMaRDI QIDQ1382035

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5128541	2020-10-27	Paper
CAD Adjacency Computation Using Validated Numerics	2020-09-09	Paper
Comparison of CAD-based Methods for Computation of Rational Function Limits	2020-09-09	Paper
Univariate real root isolation in an extension field and applications	2018-12-28	Paper
Univariate Real Root Isolation over a Single Logarithmic Extension of Real Algebraic Numbers	2018-04-05	Paper
Cylindrical algebraic decomposition using local projections	2016-02-19	Paper
Cylindrical algebraic decomposition using local projections	2015-11-11	Paper
Computation with semialgebraic sets represented by cylindrical algebraic formulas	2015-09-17	Paper
Black-box/white-box simplification and applications to quantifier elimination	2015-09-17	Paper
Univariate real root isolation in an extension field	2015-06-09	Paper
Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas	2015-03-27	Paper
Univariate real root isolation in multiple extension fields	2015-03-27	Paper
Real root isolation for tame elementary functions	2012-05-13	Paper
Real root isolation for exp-log-arctan functions	2012-03-22	Paper
Cylindrical decomposition for systems transcendental in the first variable	2011-12-07	Paper
Improving the performance of the continued fractions method using new bounds of positive roots	2009-08-10	Paper
FLQ, the fastest quadratic complexity bound on the values of positive roots of polynomials	2009-02-03	Paper
Real root isolation for exp-log functions	2009-01-20	Paper
A comparative study of two real root isolation methods	2008-11-17	Paper
On the various bisection methods derived from Vincent's theorem	2008-09-25	Paper
Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds	2008-07-01	Paper
Cylindrical algebraic decomposition using validated numerics	2007-10-23	Paper
Frobenius numbers by lattice point enumeration	2007-03-28	Paper
Implementations of a new theorem for computing bounds for positive roots of polynomials	2007-01-08	Paper
Solving systems of strict polynomial inequalities	2001-06-13	Paper
A real polynomial decision algorithm using arbitrary-precision floating point arithmetic	2000-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4949370	2000-08-28	Paper
Computing in the field of complex algebraic numbers	1999-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q5285407	1998-04-20	Paper
Euler characteristic in semialgebraic and other o-minimal groups	1994-12-01	Paper
One-dimensional groups definable in o-minimal structures	1994-12-01	Paper
A real analytic constructive proof of the lojasiewicz theorem	1994-11-30	Paper
The growth of regular functions on algebraic sets	1992-09-27	Paper

Research outcomes over time

This page was built for person: Adam Strzeboński