On the role of OpenMath in interactive mathematical documents (Q5950932): Difference between revisions

@@ Property / describes a project that uses @@
+OMRS
@@ Property / describes a project that uses: OMRS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MBase
@@ Property / describes a project that uses: MBase / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LEGO
@@ Property / describes a project that uses: LEGO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Analytica
@@ Property / describes a project that uses: Analytica / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1006/jsco.2000.0466
+Normal rank
@@ Property / OpenAlex ID @@
+W2071738186
@@ Property / OpenAlex ID: W2071738186 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227289
@@ Property / cites work: Q4227289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934140
@@ Property / cites work: Q4934140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4226993
@@ Property / cites work: Q4226993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4226969
@@ Property / cites work: Q4226969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4232479
@@ Property / cites work: Q4232479 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520772
@@ Property / cites work: Q4520772 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282537
@@ Property / cites work: Q4282537 / rank @@
+Normal rank
@@ Property / cites work @@
+MBase: Representing knowledge and context for the integration of mathematical software systems
+Normal rank
@@ Property / cites work @@
+Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
+Normal rank
@@ Property / cites work @@
+Q4163161
@@ Property / cites work: Q4163161 / rank @@
+Normal rank