A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms (Q2799565): Difference between revisions

@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QEPCAD
@@ Property / describes a project that uses: QEPCAD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RealTriangularize
@@ Property / describes a project that uses: RealTriangularize / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2964140804
@@ Property / OpenAlex ID: W2964140804 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.7255
@@ Property / arXiv ID: 1207.7255 / rank @@
+Normal rank
@@ Property / cites work @@
+An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
+Normal rank
@@ Property / cites work @@
+On mechanical quantifier elimination for elementary algebra and geometry
+Normal rank
@@ Property / cites work @@
+Simple CAD construction and its applications
@@ Property / cites work: Simple CAD construction and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+Improved projection for cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Fast simplifications for Tarski formulas based on monomial inequalities
+Normal rank
@@ Property / cites work @@
+Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Even symmetric sextics
@@ Property / cites work: Even symmetric sextics / rank @@
+Normal rank
@@ Property / cites work @@
+Real even symmetric ternary forms
@@ Property / cites work: Real even symmetric ternary forms / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination: Optimal solution for two classical examples
+Normal rank
@@ Property / cites work @@
+An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
+Normal rank
@@ Property / cites work @@
+Q5792485
@@ Property / cites work: Q5792485 / rank @@
+Normal rank
@@ Property / cites work @@
+On the positivity of symmetric polynomial functions. I: General results
+Normal rank
@@ Property / cites work @@
+On the positivity of symmetric polynomial functions. II: Lattice general results and positivity criteria for degrees 4 and 5
+Normal rank
@@ Property / cites work @@
+Recent advances on determining the number of real roots of parametric polynomials
+Normal rank
@@ Property / cites work @@
+A complete discrimination system for polynomials
@@ Property / cites work: A complete discrimination system for polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Q3638491
@@ Property / cites work: Q3638491 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2799565