A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics (Q3453111): Difference between revisions

@@ Property / cites work @@
+Induced and Complete Multinets
@@ Property / cites work: Induced and Complete Multinets / rank @@
+Normal rank
@@ Property / cites work @@
+Realms: A Structure for Consolidating Knowledge about Mathematical Theories
+Normal rank
@@ Property / cites work @@
+A note on accelerated Turing machines
@@ Property / cites work: A note on accelerated Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+On model theory of covers of algebraically closed fields
+Normal rank
@@ Property / cites work @@
+A Search Engine for Mathematical Formulae
@@ Property / cites work: A Search Engine for Mathematical Formulae / rank @@
+Normal rank
@@ Property / cites work @@
+A Foundational View on Integration Problems
@@ Property / cites work: A Foundational View on Integration Problems / rank @@
+Normal rank
@@ Property / cites work @@
+The MMT API: A Generic MKM System
@@ Property / cites work: The MMT API: A Generic MKM System / rank @@
+Normal rank
@@ Property / cites work @@
+A scalable module system
@@ Property / cites work: A scalable module system / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Group of n-sphere for n ≥ 2
@@ Property / cites work: Fundamental Group of n-sphere for n ≥ 2 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667036
@@ Property / cites work: Q5667036 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+conf/mkm/IancuK15
@@ Property / DBLP publication ID: conf/mkm/IancuK15 / rank @@
+Normal rank