Adam Wojciech 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
https://portal.mardi4nfdi.de/entity/Q5192796	2009-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q3598609	2009-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5301637	2009-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q3535915	2008-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q3527083	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
https://portal.mardi4nfdi.de/entity/Q3428596	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
One-dimensional groups definable in o-minimal structures	1994-12-01	Paper
Euler characteristic in semialgebraic and other o-minimal groups	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Adam Wojciech Strzeboński