scientific article; zbMATH DE number 2151206

zbMath1072.68696MaRDI QIDQ4660673

Andreas Seidl, Thomas Sturm

Publication date: 4 April 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Projection OperatorREDLOGPartial CAD

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

Recent Advances in Real Geometric Reasoning ⋮ VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities ⋮ Dominance in the family of Sugeno-Weber t-norms ⋮ A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications ⋮ Cylindrical algebraic sub-decompositions ⋮ Polynomial bivariate copulas of degree five: characterization and some particular inequalities ⋮ A local Fourier convergence analysis of a multigrid method using symbolic computation ⋮ Truth table invariant cylindrical algebraic decomposition ⋮ Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems ⋮ The impact on the properties of the EFGM copulas when extending this family

Uses Software

• QEPCAD
• REDLOG