Recent advances in automated theorem proving on inequalities (Q1966106): Difference between revisions

@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+A new decision method for elementary algebra
@@ Property / cites work: A new decision method for elementary algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / 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 @@
+Q3994509
@@ Property / cites work: Q3994509 / rank @@
+Normal rank
@@ Property / cites work @@
+Elimination procedures for mechanical theorem proving in geometry
+Normal rank
@@ Property / cites work @@
+The parallel numerical method of mechanical theorem proving
+Normal rank
@@ Property / cites work @@
+Q4021269
@@ Property / cites work: Q4021269 / rank @@
+Normal rank
@@ Property / cites work @@
+Machine Proofs in Geometry
@@ Property / cites work: Machine Proofs in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q4321816
@@ Property / cites work: Q4321816 / rank @@
+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 @@
+Q4303118
@@ Property / cites work: Q4303118 / rank @@
+Normal rank
@@ Property / cites work @@
+A criterion for dependency of algebraic equations with applications to automated theorem proving
+Normal rank