scientific article; zbMATH DE number 1157655
From MaRDI portal
Publication:4391220
zbMath0900.03052MaRDI QIDQ4391220
Publication date: 13 September 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (9)
A probabilistic algorithm for computing data-discriminants of likelihood equations ⋮ Cylindrical decomposition for systems transcendental in the first variable ⋮ Topological elementary equivalence of closed semi-algebraic sets in the real plane ⋮ New bounds for the Descartes method ⋮ A local Fourier convergence analysis of a multigrid method using symbolic computation ⋮ HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY ⋮ Von Neumann, Gödel and Complexity Theory ⋮ Combinatorial Representation of Parameter Space for Switching Networks ⋮ Constructing a single cell in cylindrical algebraic decomposition
Uses Software
This page was built for publication:
