Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems (Q5428269): Difference between revisions

Latest revision as of 02:31, 20 March 2024

scientific article; zbMATH DE number 5215410

Language	Label	Description	Also known as
English	Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems	scientific article; zbMATH DE number 5215410

Statements

instance of

scholarly article

0 references

title

Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems (English)

0 references

zbMATH Open document ID

1202.68372

0 references

DOI

10.1007/978-3-540-73086-6_16

0 references

0 references

0 references

0 references

0 references

Towards Mechanized Mathematical Assistants

0 references

publication date

28 November 2007

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

describes a project that uses

0 references

0 references

0 references

0 references

0 references

0 references

0 references

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-540-73086-6_16

0 references

OpenAlex ID

W1501667075

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5428269

@@ Property / author @@
-Marc Oliver Wagner
@@ Property / author: Marc Oliver Wagner / rank @@
-Normal rank
@@ Property / author @@
+Marc Oliver Wagner
@@ Property / author: Marc Oliver Wagner / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LaTeX
@@ Property / describes a project that uses: LaTeX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TeXmacs
@@ Property / describes a project that uses: TeXmacs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MATHsAiD
@@ Property / describes a project that uses: MATHsAiD / 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 @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Plat-Omega
@@ Property / describes a project that uses: Plat-Omega / 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.1007/978-3-540-73086-6_16
+Normal rank
@@ Property / OpenAlex ID @@
+W1501667075
@@ Property / OpenAlex ID: W1501667075 / rank @@
+Normal rank