Towards semantic mathematical editing (Q2348287): Difference between revisions

@@ 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
@@ Property / cites work @@
+User interaction with the Matita proof assistant
@@ Property / cites work: User interaction with the Matita proof assistant / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms in real algebraic geometry
@@ Property / cites work: Algorithms in real algebraic geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms in real algebraic geometry
@@ Property / cites work: Algorithms in real algebraic geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610115
@@ Property / cites work: Q5610115 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4232473
@@ Property / cites work: Q4232473 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4660686
@@ Property / cites work: Q4660686 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4392286
@@ Property / cites work: Q4392286 / rank @@
+Normal rank
@@ Property / cites work @@
+Packrat parsing:
@@ Property / cites work: Packrat parsing: / rank @@
+Normal rank
@@ Property / cites work @@
+Transseries and real differential algebra
@@ Property / cites work: Transseries and real differential algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234268
@@ Property / cites work: Q4234268 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4873664
@@ Property / cites work: Q4873664 / rank @@
+Normal rank
@@ Property / cites work @@
+From Notation to Semantics: There and Back Again
@@ Property / cites work: From Notation to Semantics: There and Back Again / rank @@
+Normal rank
@@ Property / cites work @@
+A User Interface for a Mathematical System that Allows Ambiguous Formulae
+Normal rank
@@ Property / cites work @@
+Q4227288
@@ Property / cites work: Q4227288 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3185224
@@ Property / cites work: Q3185224 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4305272
@@ Property / cites work: Q4305272 / rank @@
+Normal rank