Formal specification and proofs for the topology and classification of combinatorial surfaces (Q396466): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+D18
@@ Property / Mathematics Subject Classification ID: 65D18 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6329749
@@ Property / zbMATH DE Number: 6329749 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+combinatorial surfaces
@@ Property / zbMATH Keywords: combinatorial surfaces / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+classification
@@ Property / zbMATH Keywords: classification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+generalized maps
@@ Property / zbMATH Keywords: generalized maps / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal specification
@@ Property / zbMATH Keywords: formal specification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+assisted proof
@@ Property / zbMATH Keywords: assisted proof / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+geometric modeling
@@ Property / zbMATH Keywords: geometric modeling / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+computational geometry
@@ Property / zbMATH Keywords: computational geometry / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Coq system
@@ Property / zbMATH Keywords: Coq system / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+subdivisors
@@ Property / zbMATH Keywords: subdivisors / rank @@
+Normal rank

Revision as of 16:24, 29 June 2023