The following pages link to Adam Wojciech Strzeboński (Q1382035):
Displaying 18 items.
- (Q247225) (redirect page) (← links)
- Cylindrical decomposition for systems transcendental in the first variable (Q650841) (← links)
- Real root isolation for exp-log-arctan functions (Q765861) (← links)
- (Q858187) (redirect page) (← links)
- Implementations of a new theorem for computing bounds for positive roots of polynomials (Q858189) (← links)
- (Q1339384) (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)
- (Q1757002) (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)
