scientific article; zbMATH DE number 2151206
From MaRDI portal
Publication:4660673
zbMATH Open1072.68696MaRDI QIDQ4660673FDOQ4660673
Authors: Andreas Seidl, Thomas Sturm 
Publication date: 4 April 2005
Title of this publication is not available (Why is that?)
Recommendations
- Partial cylindrical algebraic decomposition for quantifier elimination
- scientific article; zbMATH DE number 589124
- Improved projection for cylindrical algebraic decomposition
- scientific article; zbMATH DE number 1157654
- Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)
Cited In (15)
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
- Dominance in the family of Sugeno-Weber t-norms
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- Improved projection for cylindrical algebraic decomposition
- VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities
- The impact on the properties of the EFGM copulas when extending this family
- Cylindrical algebraic sub-decompositions
- Title not available (Why is that?)
- Truth table invariant cylindrical algebraic decomposition
- Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition
- Polynomial bivariate copulas of degree five: characterization and some particular inequalities
- A local Fourier convergence analysis of a multigrid method using symbolic computation
- Faster one block quantifier elimination for regular polynomial systems of equations
- Abstract partial cylindrical algebraic decomposition. I: The lifting phase
- Recent advances in real geometric reasoning
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4660673)
