Publication:4391220
From MaRDI portal
zbMath0900.03052MaRDI QIDQ4391220
Publication date: 13 September 1998
68W30: Symbolic computation and algebraic computation
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Combinatorial Representation of Parameter Space for Switching Networks, Cylindrical decomposition for systems transcendental in the first variable, A local Fourier convergence analysis of a multigrid method using symbolic computation, Constructing a single cell in cylindrical algebraic decomposition, New bounds for the Descartes method, A probabilistic algorithm for computing data-discriminants of likelihood equations, Topological elementary equivalence of closed semi-algebraic sets in the real plane, HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY, Von Neumann, Gödel and Complexity Theory
Uses Software