Injecting formal mathematics into LaTeX (Q6160559): Difference between revisions

@@ Property / cites work @@
+Realms: A Structure for Consolidating Knowledge about Mathematical Theories
+Normal rank
@@ Property / cites work @@
+Representing structural language features in formal meta-languages
+Normal rank
@@ Property / cites work @@
+Flexary Operators for Formalized Mathematics
@@ Property / cites work: Flexary Operators for Formalized Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Using La\TeX\ as a semantic markup format
@@ Property / cites work: Using La\TeX\ as a semantic markup format / rank @@
+Normal rank
@@ Property / cites work @@
+Theories as types
@@ Property / cites work: Theories as types / rank @@
+Normal rank
@@ Property / cites work @@
+A scalable module system
@@ Property / cites work: A scalable module system / rank @@
+Normal rank
@@ Property / cites work @@
+Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7--11, 2014. Proceedings
+Normal rank