Towards semantic mathematical editing (Q2348287): Difference between revisions

@@ Property / describes a project that uses @@
+LaTeX
@@ Property / describes a project that uses: LaTeX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CAS/PI
@@ Property / describes a project that uses: CAS/PI / 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 @@
+OMDoc
@@ Property / describes a project that uses: OMDoc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+YACC
@@ Property / describes a project that uses: YACC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bison
@@ Property / describes a project that uses: Bison / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Matita
@@ Property / describes a project that uses: Matita / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SageMath
@@ Property / describes a project that uses: SageMath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LaTeXML
@@ Property / describes a project that uses: LaTeXML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CtCoq
@@ Property / describes a project that uses: CtCoq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Centaur
@@ Property / describes a project that uses: Centaur / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TeX
@@ Property / describes a project that uses: TeX / 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.1016/j.jsc.2014.09.040
+Normal rank
@@ Property / OpenAlex ID @@
+W2168278085
@@ Property / OpenAlex ID: W2168278085 / rank @@
+Normal rank