Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach (Q2817298): Difference between revisions

@@ Property / arXiv ID @@
+.06424
@@ Property / arXiv ID: 1603.06424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4232470
@@ Property / cites work: Q4232470 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+OpenMath in SCIEnce: SCSCP and POPCORN
@@ Property / cites work: OpenMath in SCIEnce: SCSCP and POPCORN / rank @@
+Normal rank
@@ Property / cites work @@
+Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8--12, 2013. Proceedings
+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 @@
+A scalable module system
@@ Property / cites work: A scalable module system / rank @@
+Normal rank