The following pages link to Adam Wojciech Strzeboński (Q1382035):
Displayed 36 items.
- Item:Q1382035 (redirect page) (← links)
- Cylindrical decomposition for systems transcendental in the first variable (Q650841) (← links)
- Real root isolation for exp-log-arctan functions (Q765861) (← links)
- Item:Q1382035 (redirect page) (← links)
- Implementations of a new theorem for computing bounds for positive roots of polynomials (Q858189) (← links)
- Item:Q1382035 (redirect page) (← links)
- One-dimensional groups definable in o-minimal structures (Q1339385) (← links)
- Euler characteristic in semialgebraic and other o-minimal groups (Q1339386) (← links)
- Computing in the field of complex algebraic numbers (Q1382036) (← links)
- Item:Q1382035 (redirect page) (← links)
- Univariate real root isolation in an extension field and applications (Q1757003) (← links)
- A real polynomial decision algorithm using arbitrary-precision floating point arithmetic (Q1971088) (← links)
- Solving systems of strict polynomial inequalities (Q1976673) (← links)
- Cylindrical algebraic decomposition using validated numerics (Q2457384) (← links)
- Real root isolation for tame elementary functions (Q2883838) (← links)
- Computation with semialgebraic sets represented by cylindrical algebraic formulas (Q2946521) (← links)
- Black-box/white-box simplification and applications to quantifier elimination (Q2946522) (← links)
- (Q3428596) (← links)
- Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds (Q3508467) (← links)
- (Q3527083) (← links)
- (Q3535915) (← links)
- (Q3598609) (← links)
- The growth of regular functions on algebraic sets (Q4007746) (← links)
- A real analytic constructive proof of the lojasiewicz theorem (Q4282871) (← links)
- Univariate Real Root Isolation over a Single Logarithmic Extension of Real Algebraic Numbers (Q4610025) (← links)
- (Q4949370) (← links)
- CAD Adjacency Computation Using Validated Numerics (Q5119969) (← links)
- Comparison of CAD-based Methods for Computation of Rational Function Limits (Q5120219) (← links)
- (Q5128541) (← links)
- (Q5192796) (← links)
- Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas (Q5244554) (← links)
- Univariate real root isolation in multiple extension fields (Q5244555) (← links)
- Univariate real root isolation in an extension field (Q5254189) (← links)
- (Q5285407) (← links)
- (Q5301637) (← links)
- Cylindrical algebraic decomposition using local projections (Q5963393) (← links)