The following pages link to (Q4391220):
Displayed 9 items.
- Cylindrical decomposition for systems transcendental in the first variable (Q650841) (← links)
- A local Fourier convergence analysis of a multigrid method using symbolic computation (Q2252112) (← links)
- Constructing a single cell in cylindrical algebraic decomposition (Q2343239) (← links)
- New bounds for the Descartes method (Q2457314) (← links)
- A probabilistic algorithm for computing data-discriminants of likelihood equations (Q2628325) (← links)
- Topological elementary equivalence of closed semi-algebraic sets in the real plane (Q2710595) (← links)
- HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY (Q2795294) (← links)
- Von Neumann, Gödel and Complexity Theory (Q3067861) (← links)
- Combinatorial Representation of Parameter Space for Switching Networks (Q5506826) (← links)