The parallel numerical method of mechanical theorem proving (Q914413): Difference between revisions

@@ Property / author @@
-Jing-Zhong Zhang
@@ Property / author: Jing-Zhong Zhang / rank @@
-Normal rank
@@ Property / author @@
+Jing-Zhong Zhang
@@ Property / author: Jing-Zhong Zhang / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The parallel numerical method of proving the constructive geometric theorem
+Normal rank
@@ Property / cites work @@
+Q3700869
@@ Property / cites work: Q3700869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3700870
@@ Property / cites work: Q3700870 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3668379
@@ Property / cites work: Q3668379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3787471
@@ Property / cites work: Q3787471 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:914413