Mechanical theorem proving in the local theory of surfaces (Q1924739): Difference between revisions

@@ Property / cites work @@
+Q4091004
@@ Property / cites work: Q4091004 / rank @@
+Normal rank
@@ Property / cites work @@
+A procedure to prove statements in differential geometry
+Normal rank
@@ Property / cites work @@
+Q5795628
@@ Property / cites work: Q5795628 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4713581
@@ Property / cites work: Q4713581 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical theorem proving of differential geometries and some of its applications in mechanics
+Normal rank