A complete algorithm for automated discovering of a class of inequality-type theorems (Q865930): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Which Triangles are Plane Sections of Regular Tetrahedra?
+Normal rank
@@ Property / cites work @@
+A complete discrimination system for polynomials with complex coefficients and its automatic generation
+Normal rank
@@ Property / cites work @@
+Recent advances on determining the number of real roots of parametric polynomials
+Normal rank
@@ Property / cites work @@
+Complete characterization of strictly positive real regions and robust strictly positive real synthesis method
+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 @@
+Cylindrical Algebraic Decomposition I: The Basic Algorithm
+Normal rank
@@ Property / cites work @@
+Polynomial algorithms in computer algebra
@@ Property / cites work: Polynomial algorithms in computer algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4153620
@@ Property / cites work: Q4153620 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
+Normal rank
@@ Property / cites work @@
+Zeros and factors of polynomials with positive coefficients and protein- ligand binding
+Normal rank