diff --git a/FormalCAD/index.html b/FormalCAD/index.html
index 10d89d04a..4110c879c 100644
--- a/FormalCAD/index.html
+++ b/FormalCAD/index.html
@@ -142,14 +142,14 @@ Papers at Peer-Reviewed Workshops
Unpublished
- - [1]
+
- [1]
T. Breitsprecher, M. Codescu, C. Jucovschi, M. Kohlhase, L. Schröder, and S. Wartzack (2013)
Towards ontological support for principle solutions in mechanical engineering.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Miscellaneous
diff --git a/cdavid/index.html b/cdavid/index.html
index 23a29afb4..792af61db 100644
--- a/cdavid/index.html
+++ b/cdavid/index.html
@@ -293,16 +293,16 @@ Unpublished
Miscellaneous
- - [1]
+
- [1]
C. David (2010)
Interactive documents as interfaces to computer algebra systems: JOBAD and Wolfram—Alpha.
B. Sc. Thesis, Jacobs University Bremen.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
diff --git a/clange/index.html b/clange/index.html
index 42f815c88..228c90364 100644
--- a/clange/index.html
+++ b/clange/index.html
@@ -75,39 +75,39 @@ Christoph Lange
Archival Literature
Articles in Journals
- - [4]
+
- [4]
C. Lange (2013)
Ontologies and languages for representing mathematical knowledge on the semantic web.
Semantic Web Journal 4 (2), pp. 119–158.
-External Links: Document,
-Link
+External Links: Document,
+Link
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
C. Lange (2012)
Desktop mit dolmetscher.
freeX Magazin für Netzwerk/Virtualisierung/Sicherheit 2, pp. 90–94.
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
C. Lange (2012)
Vokabelheft fürs web.
freeX Magazin für Netzwerk/Virtualisierung/Sicherheit 1, pp. 42–45.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
M. Kohlhase, J. Corneli, C. David, D. Ginev, C. Jucovschi, A. Kohlhase, C. Lange, B. Matican, S. Mirea, and V. Zholudev (2011)
The planetary system: web 3.0 & active documents for STEM.
@@ -116,26 +116,26 @@
Articles in Journals
Note: Finalist at the Executable Paper Grand Challenge
-External Links: Link,
-Document
+External Links: Link,
+Document
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
H. M. Tran, C. Lange, G. Chulkov, J. Schönwälder, and M. Kohlhase (2009-05)
Applying semantic techniques to search and analyze bug tracking data.
Journal of Network and Systems Management 17 (3), pp. 285–308.
-External Links: Document
+External Links: Document
-Cited by: p1.
+Cited by: p1.
Articles in Collections
- - [3]
+
- [3]
C. Lange and M. Kohlhase (2013)
Mashups using mathematical knowledge.
@@ -144,11 +144,11 @@
Articles in Collections
pp. 171–204.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
C. Lange and M. Kohlhase (2008-04)
SWiM: a semantic wiki for mathematical knowledge management.
@@ -157,11 +157,11 @@
Articles in Collections
pp. 47–68.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
C. Lange and M. Kohlhase (2006-08)
SWiM – an OMDoc-based semantic wiki.
@@ -170,7 +170,7 @@
Articles in Collections
LNAI.
-Cited by: p1.
+Cited by: p1.
Papers at International, Peer-Reviewed Conferences
@@ -449,7 +449,7 @@ Papers at International, Peer-Reviewed Conferences
Monographs
- - [3]
+
- [3]
C. Lange (2011)
Enabling collaboration on semiformal mathematical knowledge by semantic web integration.
@@ -457,11 +457,11 @@
Monographs
Studies on the Semantic Web, AKA Verlag and IOS Press, Heidelberg and Amsterdam.
External Links: ISBN 978-1-60750-840-3,
-Link
+Link
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
C. Lange (Ed.) (2006-09)
Wikis und blogs – Planen, Einrichten, Verwalten.
@@ -470,9 +470,9 @@
Monographs
External Links: ISBN 3-936546-44-4
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
C. Lange (Ed.) (2005-09)
Wiki – Planen, Einrichten, Verwalten.
@@ -481,7 +481,7 @@
Monographs
External Links: ISBN 3-936546-28-2
-Cited by: p1.
+Cited by: p1.
Conference Proceedings Edited
@@ -501,18 +501,18 @@ Conference Proceedings Edited
Theses
- - [1]
+
- [1]
C. Lange (2011)
Enabling collaboration on semiformal mathematical knowledge by semantic web integration.
Ph.D. Thesis, Jacobs University Bremen.
-Note: Also available as a book [2]
+Note: Also available as a book [2]
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
C. Lange (2011)
Enabling collaboration on semiformal mathematical knowledge by semantic web integration.
@@ -520,26 +520,26 @@
Theses
Studies on the Semantic Web, AKA Verlag and IOS Press, Heidelberg and Amsterdam.
External Links: ISBN 978-1-60750-840-3,
-Link
+Link
-Cited by: 1.
+Cited by: 1.
- - [3]
+
- [3]
C. Lange (2006-08)
A Semantic Wiki for Mathematical Knowledge Management.
Diploma thesis, Universität Trier.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Gray Literature
Worskhop Proceedings Edited
- - [2]
+
- [2]
M. England, J. H. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A. P. Sexton, P. Sojka, J. Urban, and S. M. Watt (Eds.) (2014)
Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2014.
@@ -547,11 +547,11 @@
Worskhop Proceedings Edited
CEUR Workshop Proceedings, Aachen.
External Links: ISSN 1613-0073,
-Link
+Link
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
A. García Castro, C. Lange, P. Lord, and R. Stevens (Eds.) (2013)
Proceedings of the 3rd workshop on semantic publishing, Extended Semantic Web Conference.
@@ -559,11 +559,11 @@
Worskhop Proceedings Edited
CEUR Workshop Proceedings, Aachen.
External Links: ISSN 1613-0073,
-Link
+Link
-Cited by: p1.
+Cited by: p1.
- - [9]
+
- [9]
C. Lange, D. Aspinall, J. Carette, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, P. Quaresma, F. Rabe, P. Sojka, I. Whiteside, and W. Windsteiger (Eds.) (2013)
Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2013.
@@ -571,23 +571,23 @@
Worskhop Proceedings Edited
CEUR Workshop Proceedings, Aachen.
External Links: ISSN 1613-0073,
-Link
+Link
-Cited by: p1.
+Cited by: p1.
- - [13]
+
- [13]
C. Lange, C. Rowat, and M. Kerber (Eds.) (2013)
Enabling domain experts to use formalised reasoning.
Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB).
-External Links: Link,
+External Links: Link,
ISBN 978-1-908187-32-1
-Cited by: p1.
+Cited by: p1.
- - [7]
+
- [7]
B. Good, F. van Harmelen, A. García Castro, C. Lange, E. Sandhaus, and A. de Waard (Eds.) (2012)
Proceedings of the 2nd workshop on semantic publishing, Extended Semantic Web Conference.
@@ -595,11 +595,11 @@
Worskhop Proceedings Edited
CEUR Workshop Proceedings, Aachen.
External Links: ISSN 1613-0073,
-Link
+Link
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
A. García Castro, K. Baclawski, J. Bateman, K. Viljanen, and C. Lange (Eds.) (2011)
Proceedings of the workshop ontologies come of age in the semantic web, International Semantic Web Conference.
@@ -607,11 +607,11 @@
Worskhop Proceedings Edited
CEUR Workshop Proceedings, Aachen.
External Links: ISSN 1613-0073,
-Link
+Link
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
A. García Castro, C. Lange, E. Sandhaus, and A. de Waard (Eds.) (2011)
Proceedings of the 1st workshop on semantic publication, Extended Semantic Web Conference.
@@ -619,11 +619,11 @@
Worskhop Proceedings Edited
CEUR Workshop Proceedings, Aachen.
External Links: ISSN 1613-0073,
-Link
+Link
-Cited by: p1.
+Cited by: p1.
- - [16]
+
- [16]
C. Lange and J. Urban (Eds.) (2011)
Proceedings of the itp 2011 workshop on mathematical wikis (mathwikis).
@@ -631,20 +631,20 @@
Worskhop Proceedings Edited
CEUR Workshop Proceedings, Aachen.
External Links: ISSN 1613-0073,
-Link
+Link
-Cited by: p1.
+Cited by: p1.
- - [6]
+
- [6]
A. Giurca, B. Endres-Niggemeyer, C. Lange, L. Maicher, and P. Hitzler (Eds.) (2010-06)
AI Mashup Challenge.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
M. d’Aquin, A. García Castro, C. Lange, and K. Viljanen (Eds.) (2010)
Proceedings of the 1st workshop on ontology repositories and editors, Extended Semantic Web Conference.
@@ -652,11 +652,11 @@
Worskhop Proceedings Edited
CEUR Workshop Proceedings, Aachen.
External Links: ISSN 1613-0073,
-Link
+Link
-Cited by: p1.
+Cited by: p1.
- - [10]
+
- [10]
C. Lange, J. Reutelshöfer, S. Schaffert, and H. Skaf-Molli (Eds.) (2010)
Proceedings of the 5th workshop on semantic wikis, Extended Semantic Web Conference.
@@ -664,11 +664,11 @@
Worskhop Proceedings Edited
CEUR Workshop Proceedings, Aachen.
External Links: ISSN 1613-0073,
-Link
+Link
-Cited by: p1.
+Cited by: p1.
- - [8]
+
- [8]
M. Hartmann and F. Janssen (2009-09)
LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität.
@@ -677,27 +677,27 @@
Worskhop Proceedings Edited
Vol. TUD-KE-2009-04, Universität Darmstadt.
-Cited by: 11.
+Cited by: 11.
- - [11]
+
- [11]
C. Lange and J. Reutelshöfer (Eds.) (2009-09)
Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM.
-Note: Workshop at LWA 2009, published as part of [8]
+Note: Workshop at LWA 2009, published as part of [8]
-Cited by: p1.
+Cited by: p1.
- - [12]
+
- [12]
C. Lange and J. Reutelshöfer (Eds.) (2009-09)
Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM.
Vol. TUD-KE-2009-04, Universität Darmstadt.
-Cited by: p1.
+Cited by: p1.
- - [15]
+
- [15]
C. Lange, S. Schaffert, H. Skaf-Molli, and M. Völkel (Eds.) (2009)
Proceedings of the 4th workshop on semantic wikis, European Semantic Web Conference.
@@ -705,11 +705,11 @@
Worskhop Proceedings Edited
CEUR Workshop Proceedings, Aachen.
External Links: ISSN 1613-0073,
-Link
+Link
-Cited by: p1.
+Cited by: p1.
- - [14]
+
- [14]
C. Lange, S. Schaffert, H. Skaf-Molli, and M. Völkel (Eds.) (2008)
Proceedings of the 3rd workshop on semantic wikis, European Semantic Web Conference.
@@ -717,9 +717,9 @@
Worskhop Proceedings Edited
CEUR Workshop Proceedings, Aachen.
External Links: ISSN 1613-0073,
-Link
+Link
-Cited by: p1.
+Cited by: p1.
Papers at Peer-Reviewed Workshops
@@ -1293,7 +1293,7 @@ Papers at Peer-Reviewed Workshops
Technical Reports
- - [1]
+
- [1]
M. Kerber, C. Lange, and C. Rowat (2014-01)
A formal proof of Vickrey’s theorem by blast, simp, and rule.
@@ -1302,22 +1302,22 @@
Technical Reports
Technical Report 14-01, University of Birmingham, Department of Economics.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [7]
+
- [7]
T. Mossakowski, C. Maeder, M. Codescu, E. Kuksa, and C. Lange (2013-01-10)
Hets for Common Logic users.
DFKI GmbH, Bremen.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [8]
+
- [8]
(2012-06-04)
OntoIOp (ontology integration and interoperability) part 1: the distributed ontology language (DOL).
@@ -1326,11 +1326,11 @@
Technical Reports
Technical Report 17347, ISO.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
M. Kohlhase, C. Lange, C. Müller, N. Müller, and F. Rabe (2009-02)
Notations for active mathematical documents.
@@ -1341,11 +1341,11 @@
Technical Reports
Note: https://kwarc.info/publications/papers/KLMMR_NfAD.pdf
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
C. Lange and M. Kohlhase (2008-12)
A mathematical approach to ontology authoring and documentation.
@@ -1354,11 +1354,11 @@
Technical Reports
Technical Report 2008-3, Jacobs University Bremen.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
M. Kohlhase, C. Lange, C. Müller, N. Müller, and F. Rabe (2008-04)
Adaptation of notations in living mathematical documents.
@@ -1367,11 +1367,11 @@
Technical Reports
Technical Report 2008-2, Jacobs University Bremen.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
C. Lange (2007-03)
SWiM – a semantic wiki for mathematical knowledge management.
@@ -1380,22 +1380,22 @@
Technical Reports
Technical Report 5, Jacobs University Bremen.
-Note: Revised, updated and reviewed version of thesis [6]
+Note: Revised, updated and reviewed version of thesis [6]
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [6]
+
- [6]
C. Lange (2006-08)
A Semantic Wiki for Mathematical Knowledge Management.
Diploma thesis, Universität Trier.
-External Links: Link
+External Links: Link
-Cited by: 5.
+Cited by: 5.
Unpublished
diff --git a/comma/index.html b/comma/index.html
index 5ad7b9aa3..a99120501 100644
--- a/comma/index.html
+++ b/comma/index.html
@@ -60,7 +60,7 @@ Project COMMA
Archival Literature
Articles in Journals
- - [1]
+
- [1]
M. Kohlhase and M. Iancu (2014)
Co-representing structure and meaning of mathematical documents.
@@ -70,14 +70,14 @@
Articles in Journals
Note: Special Issue “The language of mathematics – computational, linguistic and logical aspects”
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Papers at International, Peer-Reviewed Conferences
- - [3]
+
- [3]
M. Kohlhase, F. Rabe, C. S. Coen, and J. F. Schaefer (2020)
Logic-independent proof search in logical frameworks (short paper).
@@ -86,9 +86,9 @@
Papers at International, Peer-Reviewed Conferences
pp. 395–401.
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
J. F. Schaefer, K. Amann, and M. Kohlhase (2020)
Prototyping controlled mathematical languages in jupyter notebooks.
@@ -97,11 +97,11 @@
Papers at International, Peer-Reviewed Conferences
LNCS, Vol. 12097, pp. 406–415.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [6]
+
- [6]
J. F. Schaefer and M. Kohlhase (2018)
Syntactic/semantic analysis for high-precision math linguistics.
@@ -110,11 +110,11 @@
Papers at International, Peer-Reviewed Conferences
Note: CICM Work in Progress Paper
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
M. Kohlhase (2014)
A data model and encoding for a semantic, multilingual terminology of mathematics.
@@ -123,11 +123,11 @@
Papers at International, Peer-Reviewed Conferences
LNCS, pp. 169–183.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
M. Cîrlănaru, D. Ginev, and C. Lange (2011)
Authoring and publishing of units and quantities in semantic documents.
@@ -136,11 +136,11 @@
Papers at International, Peer-Reviewed Conferences
LNCS, pp. 202–216.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
D. Ginev, H. Stamerjohanns, and M. Kohlhase (2011)
The LaTeXML daemon: editable math on the collaborative web.
@@ -149,7 +149,7 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 292–294.
-Cited by: p1.
+Cited by: p1.
Theses
@@ -202,7 +202,7 @@ Theses
Gray Literature
Papers at Peer-Reviewed Workshops
- - [6]
+
- [6]
J. F. Schaefer, K. Amann, and M. Kohlhase (2020)
Prototyping controlled mathematical languages in jupyter notebooks.
@@ -211,11 +211,11 @@
Papers at Peer-Reviewed Workshops
LNCS, Vol. 12097, pp. 406–415.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [8]
+
- [8]
J. F. Schaefer and M. Kohlhase (2020)
GLIF: a declarative framework for symbolic natural language understanding.
@@ -224,11 +224,11 @@
Papers at Peer-Reviewed Workshops
pp. 4–11.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
M. Kohlhase and J. F. Schaefer (2019)
GF + MMT = GLF – from language to semantics through LF.
@@ -238,11 +238,11 @@
Papers at Peer-Reviewed Workshops
Vol. 307, pp. 24–39.
-External Links: Document
+External Links: Document
-Cited by: p1.
+Cited by: p1.
- - [7]
+
- [7]
J. F. Schaefer and M. Kohlhase (2018)
Syntactic/semantic analysis for high-precision math linguistics.
@@ -251,22 +251,22 @@
Papers at Peer-Reviewed Workshops
Note: CICM Work in Progress Paper
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
D. Ginev, S. Lal, M. Kohlhase, and T. Wiesing (2015-07)
KAT: an annotation tool for STEM documents.
In Mathematical user interfaces workshop at CICMMathematical User Interfaces Workshop, A. Kohlhase and P. Libbrecht (Eds.),
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
M. Kohlhase (2014)
A data model and encoding for a semantic, multilingual terminology of mathematics.
@@ -275,11 +275,11 @@
Papers at Peer-Reviewed Workshops
LNCS, pp. 169–183.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
M. Cîrlănaru, D. Ginev, and C. Lange (2011)
Authoring and publishing of units and quantities in semantic documents.
@@ -288,11 +288,11 @@
Papers at Peer-Reviewed Workshops
CEUR Workshop Proceedings.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [9]
+
- [9]
M. Wolska, M. Grigore, and M. Kohlhase (2011)
Using discourse context to interpret object-denoting mathematical expressions.
@@ -301,11 +301,11 @@
Papers at Peer-Reviewed Workshops
pp. 85–101.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [10]
+
- [10]
M. Wolska and M. Grigore (2010)
Symbol declarations in mathematical writing: a corpus study.
@@ -314,11 +314,11 @@
Papers at Peer-Reviewed Workshops
pp. 119–127.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
M. Grigore, M. Wolska, and M. Kohlhase (2009-12-14)
Towards context-based disambiguation of mathematical expressions.
@@ -328,9 +328,9 @@
Papers at Peer-Reviewed Workshops
COE Lecture Notes, Vol. 22, Fukuoka, Japan, pp. 262–271.
External Links: ISSN 1881-4042,
-Link
+Link
-Cited by: p1.
+Cited by: p1.
Unpublished
diff --git a/cpoint/index.html b/cpoint/index.html
index 3eb8546e4..0a4edabfb 100644
--- a/cpoint/index.html
+++ b/cpoint/index.html
@@ -160,7 +160,7 @@ Theses
Gray Literature
Papers at Peer-Reviewed Workshops
- - [4]
+
- [4]
A. Kohlhase (2007)
CPoint — ein invasiver, semantischer Editor für Content in MS PowerPoint.
@@ -169,9 +169,9 @@
Papers at Peer-Reviewed Workshops
pp. 116–118.
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
A. Kohlhase (2006)
CPoint – ein invasiver, semantischer Editor für wiederverwendaren Content in MS PowerPoint.
@@ -181,9 +181,9 @@
Papers at Peer-Reviewed Workshops
pp. 35–42.
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
A. Kohlhase (2006)
The User as Prisoner: How the Dilemma Might Dissolve.
@@ -193,32 +193,32 @@
Papers at Peer-Reviewed Workshops
pp. 26–31.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
A. Kohlhase (2004)
CPoint’s mathematical user interface.
In Mathematical user interfaces workshop 2004Mathematical User Interfaces, P. Libbrecht (Ed.),
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Miscellaneous
- - [1]
+
- [1]
A. Kohlhase (2005)
CPoint.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
diff --git a/cprodescu/index.html b/cprodescu/index.html
index c5b3c5e85..fed5aeb22 100644
--- a/cprodescu/index.html
+++ b/cprodescu/index.html
@@ -51,7 +51,7 @@ Corneliu Prodescu
Archival Literature
Papers at International, Peer-Reviewed Conferences
- - [1]
+
- [1]
M. Iancu, M. Kohlhase, and C. Prodescu (2014)
Representing, archiving, and searching the space of mathematical knowledge.
@@ -60,23 +60,23 @@
Papers at International, Peer-Reviewed Conferences
LNCS, Vol. 8592, pp. 26–30.
-External Links: Document,
-Link
+External Links: Document,
+Link
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
M. Kohlhase, C. Prodescu, and C. Liguda (2013)
XLSearch: a search engine for spreadsheets.
In Symp. of the european spreadsheet risks interest group (EuSpRIG 2013)Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2013),
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
M. Kohlhase, B. A. Matican, and C. C. Prodescu (2012)
MathWebSearch 0.5 – Scaling an Open Formula Search Engine.
@@ -85,15 +85,15 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 342–357.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Gray Literature
Papers at Peer-Reviewed Workshops
- - [1]
+
- [1]
R. Hambasan, M. Kohlhase, and C. Prodescu (2014)
MathWebSearch at NTCIR-11.
@@ -102,22 +102,22 @@
Papers at Peer-Reviewed Workshops
pp. 114–119.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
M. Kohlhase, C. Prodescu, and C. Liguda (2013)
XLSearch: a search engine for spreadsheets.
In Symp. of the european spreadsheet risks interest group (EuSpRIG 2013)Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2013),
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
M. Kohlhase and C. Prodescu (2013)
MathWebSearch at NTCIR-10.
@@ -126,25 +126,25 @@
Papers at Peer-Reviewed Workshops
pp. 675–679.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
C. C. Prodescu and M. Kohlhase (2011-09)
MathWebSearch 0.5 - open formula search engine.
In Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedingsWissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings,
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Technical Reports
- - [1]
+
- [1]
M. Kohlhase and C. Prodescu
MathWebSearch manual.
@@ -153,9 +153,9 @@
Technical Reports
Jacobs University.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
diff --git a/fhorozal/index.html b/fhorozal/index.html
index 771c40f10..e0ada02c7 100644
--- a/fhorozal/index.html
+++ b/fhorozal/index.html
@@ -236,14 +236,14 @@ Papers at Peer-Reviewed Workshops
Unpublished
- - [1]
+
- [1]
F. Horozal, M. Kohlhase, F. Rabe, and K. Sojakova (2010)
Towards an atlas of logics.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
diff --git a/frabe/index.html b/frabe/index.html
index ec17b8ae9..f379882d9 100644
--- a/frabe/index.html
+++ b/frabe/index.html
@@ -69,52 +69,52 @@ Florian Rabe
Archival Literature
Articles in Journals
- - [3]
+
- [3]
J. Carette, W. M. Farmer, M. Kohlhase, and F. Rabe (2021)
Big math and the one-brain barrier – the tetrapod model of mathematical knowledge.
Mathematical Intelligencer 43 (1).
-External Links: Document
+External Links: Document
-Cited by: p1.
+Cited by: p1.
- - [11]
+
- [11]
M. Kohlhase and F. Rabe (2021)
Experiences from exporting major proof assistant libraries.
Journal of Automated Reasoning 65 (8), pp. 1265–1298.
-External Links: Document
+External Links: Document
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
K. Berčič, M. Kohlhase, and F. Rabe (2020)
(Deep) fair mathematics.
it – Information Technology 62 (1), pp. 7–17.
-External Links: Document,
-Link
+External Links: Document,
+Link
-Cited by: p1.
+Cited by: p1.
- - [12]
+
- [12]
T. Koprucki, M. Kohlhase, K. Tabelow, D. Müller, and F. Rabe (2018)
Model pathway diagrams for the representation of mathematical models.
Journal of Optical and Quantum Electronics 50 (2), pp. 70.
-External Links: Document
+External Links: Document
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
G. Dowek, C. Dubois, B. Pientka, and F. Rabe (2017)
Universality of Proofs (Dagstuhl Seminar 16421).
@@ -123,47 +123,47 @@
Articles in Journals
Note: see http://drops.dagstuhl.de/opus/volltexte/2017/6951/
-Cited by: p1.
+Cited by: p1.
- - [21]
+
- [21]
F. Rabe (2017)
How to Identify, Translate, and Combine Logics?.
Journal of Logic and Computation 27 (6), pp. 1753–1798.
-Cited by: p1.
+Cited by: p1.
- - [22]
+
- [22]
F. Rabe (2017)
Morphism Axioms.
Theoretical Computer Science 691, pp. 55–80.
-Cited by: p1.
+Cited by: p1.
- - [10]
+
- [10]
M. Kohlhase and F. Rabe (2016)
QED reloaded: towards a pluralistic formal library of mathematical knowledge.
Journal of Formalized Reasoning 9 (1), pp. 201–234.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [19]
+
- [19]
F. Rabe (2015)
Lax Theory Morphisms.
ACM Transactions on Computational Logic 17 (1).
-Cited by: p1.
+Cited by: p1.
- - [20]
+
- [20]
F. Rabe (2015)
The Future of Logic: Foundation-Independence.
@@ -172,132 +172,132 @@
Articles in Journals
Note: Winner of the Contest “The Future of Logic” at the World Congress on Universal Logic
-External Links: Document,
-Link
+External Links: Document,
+Link
-Cited by: p1.
+Cited by: p1.
- - [7]
+
- [7]
M. Iancu, M. Kohlhase, F. Rabe, and J. Urban (2013)
The Mizar Mathematical Library in OMDoc: translation and applications.
Journal of Automated Reasoning 50 (2), pp. 191–202.
-External Links: Link,
-Document
+External Links: Link,
+Document
-Cited by: p1.
+Cited by: p1.
- - [13]
+
- [13]
F. Rabe and M. Kohlhase (2013)
A scalable module system.
Information & Computation 0 (230), pp. 1–54.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [15]
+
- [15]
F. Rabe and K. Sojakova (2013)
Logical Relations for a Logical Framework.
ACM Transactions on Computational Logic.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [18]
+
- [18]
F. Rabe (2013)
A Logical Framework Combining Model and Proof Theory.
Mathematical Structures in Computer Science 23 (5), pp. 945–1001.
-Cited by: p1.
+Cited by: p1.
- - [9]
+
- [9]
M. Kohlhase and F. Rabe (2012)
Semantics of OpenMath and MathML3.
Mathematics in Computer Science 6 (3), pp. 235–260.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [17]
+
- [17]
F. Rabe (2012)
A logical framework combining model and proof theory.
Mathematical Structures in Computer Science.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
S. Awodey and F. Rabe (2011)
Kripke Semantics for Martin-Löf’s Extensional Type Theory.
Logical Methods in Computer Science 7 (3).
-Cited by: p1.
+Cited by: p1.
- - [6]
+
- [6]
F. Horozal and F. Rabe (2011)
Representing Model Theory in a Type-Theoretical Logical Framework.
Theoretical Computer Science 412 (37), pp. 4919–4945.
-Cited by: p1.
+Cited by: p1.
- - [8]
+
- [8]
M. Iancu and F. Rabe (2011)
Formalizing Foundations of Mathematics.
Mathematical Structures in Computer Science 21 (4), pp. 883–911.
-External Links: Document,
-Link
+External Links: Document,
+Link
-Cited by: p1.
+Cited by: p1.
- - [16]
+
- [16]
F. Rabe (2010)
Review of “Reasoning in Simple Type Theory – Festschrift in Honor of Peter B. Andrews on his 70th Birthday”.
Bulletin of Symbolic Logic 16 (3), pp. 409–411.
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
J. Goguen, T. Mossakowski, V. de Paiva, F. Rabe, and L. Schröder (2008)
An Institutional View on Categorical Logic.
International Journal of Software and Informatics 1 (1), pp. 129–152.
-Cited by: p1.
+Cited by: p1.
- - [14]
+
- [14]
F. Rabe, P. Pudlák, G. Sutcliffe, and W. Shen (2007)
Solving the $100 Modal Logic Challenge.
Journal of Applied Logic 1 (1).
-Cited by: p1.
+Cited by: p1.
Papers at International, Peer-Reviewed Conferences
@@ -842,7 +842,7 @@ Theses
Gray Literature
Worskhop Proceedings Edited
- - [3]
+
- [3]
M. England, J. H. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A. P. Sexton, P. Sojka, J. Urban, and S. M. Watt (Eds.) (2014)
Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2014.
@@ -850,11 +850,11 @@
Worskhop Proceedings Edited
CEUR Workshop Proceedings, Aachen.
External Links: ISSN 1613-0073,
-Link
+Link
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
C. Lange, D. Aspinall, J. Carette, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, P. Quaresma, F. Rabe, P. Sojka, I. Whiteside, and W. Windsteiger (Eds.) (2013)
Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2013.
@@ -862,52 +862,52 @@
Worskhop Proceedings Edited
CEUR Workshop Proceedings, Aachen.
External Links: ISSN 1613-0073,
-Link
+Link
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
A. Asperti, J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.) (2011)
Intelligent Computer Mathematics, Work-in-Progress Proceedings.
Technical Reports of University of Bologna, Vol. UBLCS-2011-04, University of Bologna.
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.) (2011)
Intelligent computer mathematics – work in progress papers.
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
H. Geuvers, G. Nadathur, F. Rabe, and C. Schürmann (Eds.) (2011)
LFMTP 2011 - MLPA 2011 Informal Proceedings.
Note: see http://kwarc.info/frabe/events/mlpa-11/index.html
-Cited by: p1.
+Cited by: p1.
- - [7]
+
- [7]
F. Rabe and C. Schürmann (Eds.) (2010)
MLPA ’10: Proceedings of the 2nd Workshop on Modules and Libraries for Proof Assistants.
Note: see http://kwarc.info/frabe/events/mlpa-10.html
-Cited by: p1.
+Cited by: p1.
- - [6]
+
- [6]
F. Rabe and C. Schürmann (Eds.) (2009)
MLPA ’09: Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants.
ACM International Conference Proceeding Series, Vol. 429, ACM.
-Cited by: p1.
+Cited by: p1.
Papers at Peer-Reviewed Workshops
@@ -1534,7 +1534,7 @@ Papers at Peer-Reviewed Workshops
Technical Reports
- - [1]
+
- [1]
K. Amann, M. Kohlhase, and F. Rabe (2018)
Notebook import into mathhub.info (interactive display).
@@ -1543,11 +1543,11 @@
Technical Reports
Technical Report D4.11, OpenDreamKit.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
J. Cremona, D. Müller, M. Kohlhase, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2018)
Report on OpenDreamKit deliverable d6.8: curated math-in-the-middle ontology and alignments for gap/sage/lmfdb.
@@ -1556,11 +1556,11 @@
Technical Reports
Technical Report D6.8, OpenDreamKit.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [10]
+
- [10]
T. Koprucki, M. Kohlhase, K. Tabelow, D. Müller, and F. Rabe (2017)
Model pathway diagrams for the representation of mathematical models.
@@ -1569,11 +1569,11 @@
Technical Reports
Technical Report 2431.
-External Links: Document
+External Links: Document
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2016)
Report on OpenDreamKit deliverable d6.3: design of triform (D/K/S) theories (specification/rnc schema/examples) and implementation of triform theories in the MMT API.
@@ -1582,11 +1582,11 @@
Technical Reports
Technical Report D6.2, OpenDreamKit.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2016)
Report on OpenDreamKit deliverables d6.2: initial D/K/S base design (including base survey and requirements workshop report) and d6.3: design of triform (D/K/S) theories (specification/RNC schema/examples) and implementation of triform theories in the mmt api.
@@ -1595,20 +1595,20 @@
Technical Reports
Technical Report D6.2, OpenDreamKit.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [11]
+
- [11]
F. Rabe and M. Kohlhase (2012)
An XML-based syntax for MMT.
Technical report
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
M. Iancu, M. Kohlhase, and F. Rabe (2011)
Translating the Mizar Mathematical Library into OMDoc format.
@@ -1617,9 +1617,9 @@
Technical Reports
Technical Report KWARC Report-01/11, Jacobs University Bremen.
-Cited by: p1.
+Cited by: p1.
- - [6]
+
- [6]
M. Iancu, M. Kohlhase, and F. Rabe (2011)
Translating the Mizar Mathematical Library into OMDoc format.
@@ -1630,11 +1630,11 @@
Technical Reports
Note: http://uniformal.github.io/doc/applications/LATIN/docs/Mizar2OMDoc-Report.pdf
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [12]
+
- [12]
V. Zholudev, M. Kohlhase, and F. Rabe (2010)
A [insert xml format] database for [insert cool application] (extended version).
@@ -1645,11 +1645,11 @@
Technical Reports
Note: https://kwarc.info/vzholudev/pubs/XMLPrague_long.pdf
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [9]
+
- [9]
M. Kohlhase, C. Lange, C. Müller, N. Müller, and F. Rabe (2009-02)
Notations for active mathematical documents.
@@ -1660,11 +1660,11 @@
Technical Reports
Note: https://kwarc.info/publications/papers/KLMMR_NfAD.pdf
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [7]
+
- [7]
M. Kohlhase, C. Lange, C. Müller, N. Müller, and F. Rabe (2009)
Notations for Active Mathematical Documents.
@@ -1673,9 +1673,9 @@
Technical Reports
Technical Report 2009-1, Jacobs University Bremen.
-Cited by: p1.
+Cited by: p1.
- - [8]
+
- [8]
M. Kohlhase, C. Lange, C. Müller, N. Müller, and F. Rabe (2008-04)
Adaptation of notations in living mathematical documents.
@@ -1684,25 +1684,25 @@
Technical Reports
Technical Report 2008-2, Jacobs University Bremen.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Unpublished
- - [13]
+
- [13]
F. Rabe and N. Roux (2021)
Modular formalization of formal systems.
Note: under review
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [21]
+
- [21]
N. Roux and F. Rabe (2021)
Structure-Preserving Diagram Operators.
@@ -1711,188 +1711,188 @@
Unpublished
Lecture Notes in Computer Science, Vol. 12669, pp. 142–163.
-External Links: Link,
+External Links: Link,
ISBN 978-3-030-73785-6,
-Document
+Document
-Cited by: 20.
+Cited by: 20.
- - [2]
+
- [2]
J. Carette, W. M. Farmer, Y. Sharoda, K. Berčič, M. Kohlhase, D. Müller, and F. Rabe (2020)
The space of mathematical software systems – a survey of paradigmatic systems.
Note: preprint; http://arxiv.org/abs/2002.04955
-Cited by: p1.
+Cited by: p1.
- - [7]
+
- [7]
M. Kohlhase, F. Rabe, C. S. Coen, and J. F. Schaefer (2020)
Logic-independent proof search in logical frameworks (extended report).
Note: extended report of conference submission
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [8]
+
- [8]
M. Kohlhase, F. Rabe, and M. Wenzel (2020)
Making Isabelle content accessible in knowledge representation formats.
-External Links: Link,
+External Links: Link,
2005.08884
-Cited by: p1.
+Cited by: p1.
- - [9]
+
- [9]
M. Kohlhase and F. Rabe (2020)
Experiences from exporting major proof assistant libraries.
-External Links: Link,
+External Links: Link,
2005.03089
-Cited by: p1.
+Cited by: p1.
- - [19]
+
- [19]
N. Roux and F. Rabe (2020)
Diagram Operators in a Logical Framework.
Extended Abstract, Frontiers in Artificial Intelligence and Applications.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [20]
+
- [20]
N. Roux and F. Rabe (2020)
Functorial Diagram Operators.
Extended Abstract.
-Note: Extended abstract accepted as [21]
+Note: Extended abstract accepted as [21]
-Cited by: p1.
+Cited by: p1.
- - [12]
+
- [12]
F. Rabe and D. Müller (2018)
Structuring theories with implicit morphisms.
Extended Abstract.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [18]
+
- [18]
F. Rabe (2018)
MMT: a foundation-independent logical framework.
Online Documentation.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
M. Iancu, M. Kohlhase, F. Rabe, and H. Yuan (2016)
Mixing surface languages for OMDoc.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
M. Iancu, M. Kohlhase, and F. Rabe (2016)
Understanding the pragmatics of module systems for mathematics.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [17]
+
- [17]
F. Rabe (2012)
A type theory based on reflection.
Note: Manuscript
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
F. Horozal, M. Kohlhase, F. Rabe, and K. Sojakova (2010)
Towards an atlas of logics.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [11]
+
- [11]
F. Rabe and M. Iancu (2010)
A Formalized Set-Theoretical Semantics of Isabelle/HOL.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
S. Awodey and F. Rabe (2009)
Kripke Semantics for Martin-Löf’s Extensional Type Theory.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [6]
+
- [6]
M. Kohlhase, C. Lange, C. Müller, N. Müller, and F. Rabe (2009)
Notations for Active Mathematical Documents.
-Cited by: p1.
+Cited by: p1.
- - [16]
+
- [16]
F. Rabe (2009)
The MMT Language.
-Cited by: p1.
+Cited by: p1.
- - [15]
+
- [15]
F. Rabe (2008)
Institutions with Proofs and their Representation in a Logical Framework.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [10]
+
- [10]
R. Marcus, M. Kohlhase, and F. Rabe
TGView3D system description: 3-dimensional visualization of theory graphs.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [14]
+
- [14]
F. Rabe
Theory expressions (a survey).
-Cited by: p1.
+Cited by: p1.
Miscellaneous
diff --git a/frameit/index.html b/frameit/index.html
index 49fd80436..443e06e0c 100644
--- a/frameit/index.html
+++ b/frameit/index.html
@@ -174,16 +174,16 @@ Theses
Bachelors/Masters Project Reports
- - [1]
+
- [1]
J. Schihada (2020)
FrameIT.
Master Project Report.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- [1]
S. Weber (2022)
diff --git a/jbetzendahl/index.html b/jbetzendahl/index.html
index c90537f30..6fc3775f7 100644
--- a/jbetzendahl/index.html
+++ b/jbetzendahl/index.html
@@ -51,7 +51,7 @@
Jonas Betzendahl
Archival Literature
Papers at International, Peer-Reviewed Conferences
- - [1]
+
- [1]
M. Berges, J. Betzendahl, A. Chugh, M. Kohlhase, D. Lohr, and D. Müller (2023)
Learning support systems based on mathematical knowledge managment.
@@ -60,11 +60,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
T. Kruse, M. Berges, J. Betzendahl, M. Kohlhase, D. Lohr, and D. Müller (2023)
Learning with alea: tailored experiences through annotated course material.
@@ -73,11 +73,11 @@
Papers at International, Peer-Reviewed Conferences
Lecture Notes in Informatics.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
J. Betzendahl and M. Kohlhase (2018)
Translating the IMPS theory library to OMDoc/MMT.
@@ -86,34 +86,34 @@
Papers at International, Peer-Reviewed Conferences
LNAI.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Theses
- - [2]
+
- [2]
J. Betzendahl (2018-04)
Translating the IMPS theory library to MMT / OMDoc.
Master’s Thesis, Informatik, Universität Bielefeld.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
J. Betzendahl (2014-08)
Implementation of inverse coupled rewrite systems – a case study.
Bachelor’s Thesis, Informatik, Universität Bielefeld.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Gray Literature
diff --git a/jfschaefer/index.html b/jfschaefer/index.html
index 136268fb8..8b591a0dc 100644
--- a/jfschaefer/index.html
+++ b/jfschaefer/index.html
@@ -174,7 +174,7 @@ Worskhop Proceedings Edited
Papers at Peer-Reviewed Workshops
- - [2]
+
- [2]
L. Panzer and J. F. Schaefer (2023)
AnnoTize: a flexible annotation tool for documents with mathematical formulae.
@@ -183,11 +183,11 @@
Papers at Peer-Reviewed Workshops
Note: accepted
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [6]
+
- [6]
J. F. Schaefer and M. Kohlhase (2023)
Towards an annotation standard for STEM documents – datasets, benchmarks, and spotters.
@@ -196,11 +196,11 @@
Papers at Peer-Reviewed Workshops
LNAI, pp. 190–205.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
J. F. Schaefer, K. Amann, and M. Kohlhase (2020)
Prototyping controlled mathematical languages in jupyter notebooks.
@@ -209,11 +209,11 @@
Papers at Peer-Reviewed Workshops
LNCS, Vol. 12097, pp. 406–415.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
J. F. Schaefer and M. Kohlhase (2020)
GLIF: a declarative framework for symbolic natural language understanding.
@@ -222,11 +222,11 @@
Papers at Peer-Reviewed Workshops
pp. 4–11.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
M. Kohlhase and J. F. Schaefer (2019)
GF + MMT = GLF – from language to semantics through LF.
@@ -236,11 +236,11 @@
Papers at Peer-Reviewed Workshops
Vol. 307, pp. 24–39.
-External Links: Document
+External Links: Document
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
J. F. Schaefer and M. Kohlhase (2018)
Syntactic/semantic analysis for high-precision math linguistics.
@@ -249,9 +249,9 @@
Papers at Peer-Reviewed Workshops
Note: CICM Work in Progress Paper
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Unpublished
diff --git a/latin/index.html b/latin/index.html
index adbb01ed3..8931fc4f5 100644
--- a/latin/index.html
+++ b/latin/index.html
@@ -63,53 +63,53 @@ Project LATIN
Archival Literature
Articles in Journals
- - [2]
+
- [2]
M. Iancu, M. Kohlhase, F. Rabe, and J. Urban (2013)
The Mizar Mathematical Library in OMDoc: translation and applications.
Journal of Automated Reasoning 50 (2), pp. 191–202.
-External Links: Link,
-Document
+External Links: Link,
+Document
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
F. Rabe and M. Kohlhase (2013)
A scalable module system.
Information & Computation 0 (230), pp. 1–54.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
F. Rabe and K. Sojakova (2013)
Logical Relations for a Logical Framework.
ACM Transactions on Computational Logic.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
F. Horozal and F. Rabe (2011)
Representing Model Theory in a Type-Theoretical Logical Framework.
Theoretical Computer Science 412 (37), pp. 4919–4945.
-Cited by: p1.
+Cited by: p1.
Papers at International, Peer-Reviewed Conferences
- - [8]
+
- [8]
M. Kohlhase, F. Mance, and F. Rabe (2013)
A universal machine for biform theory graphs.
@@ -118,11 +118,11 @@
Papers at International, Peer-Reviewed Conferences
Lecture Notes in Computer Science.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [6]
+
- [6]
F. Horozal, M. Kohlhase, and F. Rabe (2012)
Extending MKM formats at the statement level.
@@ -131,11 +131,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 65–80.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [7]
+
- [7]
M. Iancu and F. Rabe (2012)
Management of Change in Declarative Languages.
@@ -144,9 +144,9 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 325–340.
-Cited by: p1.
+Cited by: p1.
- - [11]
+
- [11]
F. Rabe (2012)
A Query Language for Formal Mathematical Libraries.
@@ -157,9 +157,9 @@
Papers at International, Peer-Reviewed Conferences
External Links: 1204.4685
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, and F. Rabe (2011)
A Proof Theoretic Interpretation of Model Theoretic Hiding.
@@ -168,9 +168,9 @@
Papers at International, Peer-Reviewed Conferences
LNCS.
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, F. Rabe, and K. Sojakova (2011)
Towards Logical Frameworks in the Heterogeneous Tool Set Hets.
@@ -179,9 +179,9 @@
Papers at International, Peer-Reviewed Conferences
LNCS.
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, and F. Rabe (2011)
Project abstract: logic atlas and integrator (LATIN).
@@ -190,12 +190,12 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 289–291.
-External Links: Link,
-Document
+External Links: Link,
+Document
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
F. Horozal, A. Iacob, C. Jucovschi, M. Kohlhase, and F. Rabe (2011)
Combining source, content, presentation, narration, and relational representation.
@@ -204,11 +204,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 212–227.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
F. Horozal, M. Kohlhase, and F. Rabe (2011)
Extending OpenMath with Sequences.
@@ -217,11 +217,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 58–72.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [9]
+
- [9]
M. Kohlhase, F. Rabe, and C. Sacerdoti Coen (2011)
A foundational view on integration problems.
@@ -232,11 +232,11 @@
Papers at International, Peer-Reviewed Conferences
Note: https://kwarc.info/kohlhase/papers/cicm11-integration.pdf
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [10]
+
- [10]
M. Kohlhase, F. Rabe, and V. Zholudev (2010)
Towards MKM in the large: modular representation and scalable software architecture.
@@ -247,20 +247,20 @@
Papers at International, Peer-Reviewed Conferences
External Links: 1005.5232v2
-Cited by: p1.
+Cited by: p1.
- - [13]
+
- [13]
V. Zholudev, M. Kohlhase, and F. Rabe (2010)
A [insert xml format] database for [insert cool application].
In Proceedings of XML Prague 2010Proceedings of XML Prague 2010,
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [12]
+
- [12]
K. Sojakova and F. Rabe (2009)
Translating Dependently-Typed Logic to First-Order Logic.
@@ -269,41 +269,41 @@
Papers at International, Peer-Reviewed Conferences
LNCS, Vol. 5486, pp. 326–341.
-Cited by: p1.
+Cited by: p1.
Theses
- - [1]
+
- [1]
F. Horozal (2014-11)
A framework for defining declarative languages.
Ph.D. Thesis, Jacobs University Bremen.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
M. Iancu (2012)
Management of change in declarative languages.
Master’s Thesis, Jacobs University Bremen.
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
K. Sojakova (2010)
Mechanically Verifying Logic Translations.
Master’s Thesis, Jacobs University Bremen.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Gray Literature
diff --git a/mathsearch/index.html b/mathsearch/index.html
index 82336604d..5a6d2566a 100644
--- a/mathsearch/index.html
+++ b/mathsearch/index.html
@@ -377,27 +377,27 @@ Papers at Peer-Reviewed Workshops
Unpublished
- - [1]
+
- [1]
D. Ginev (2012-06)
On digital corpora of scientific documents - knowledge management and representations.
Note: unpublished KWARC blue notes
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
D. Ginev (2012-06)
Towards a build system for digital corpora of scientific documents.
Note: unpublished KWARC blue notes
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Miscellaneous
diff --git a/mmt/index.html b/mmt/index.html
index 951225e1d..043082977 100644
--- a/mmt/index.html
+++ b/mmt/index.html
@@ -202,7 +202,7 @@ Articles in Journals
Papers at International, Peer-Reviewed Conferences
- - [14]
+
- [14]
M. Kohlhase, B. Bösl, R. Marcus, D. Müller, D. Rochau, N. Roux, J. Schihada, and M. Stamminger (2020)
FrameIT: detangling knowledge management from game design in serious games.
@@ -211,12 +211,12 @@
Papers at International, Peer-Reviewed Conferences
LNAI, Vol. 12236, pp. 173–189.
-External Links: Document,
-Link
+External Links: Document,
+Link
-Cited by: p1.
+Cited by: p1.
- - [22]
+
- [22]
R. Marcus, M. Kohlhase, and F. Rabe (2020)
TGView3D: a system for 3-dimensional visualization of theory graphs.
@@ -225,11 +225,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, Vol. 12236, pp. 290–296.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [25]
+
- [25]
D. Müller, F. Rabe, C. Rothgang, and M. Kohlhase (2020)
Representing structural language features in formal meta-languages.
@@ -238,11 +238,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, Vol. 12236, pp. 206–221.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [29]
+
- [29]
J. F. Schaefer, K. Amann, and M. Kohlhase (2020)
Prototyping controlled mathematical languages in jupyter notebooks.
@@ -251,22 +251,22 @@
Papers at International, Peer-Reviewed Conferences
LNCS, Vol. 12097, pp. 406–415.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [24]
+
- [24]
D. Müller, F. Rabe, and M. Kohlhase (2018)
Theories as types.
In 9th international joint conference on automated reasoning9th International Joint Conference on Automated Reasoning, D. Galmiche, S. Schulz, and R. Sebastiani (Eds.),
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [26]
+
- [26]
T. Pollinger, M. Kohlhase, and H. Köstler (2018)
Knowledge amalgamation for computational science and engineering.
@@ -275,11 +275,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [18]
+
- [18]
M. Kohlhase, D. Müller, S. Owre, and F. Rabe (2017)
Making PVS accessible to generic services by interpretation in a universal format.
@@ -288,11 +288,11 @@
Papers at International, Peer-Reviewed Conferences
LNCS, Vol. 10499.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [19]
+
- [19]
M. Kohlhase, D. Müller, M. Pfeiffer, F. Rabe, N. Thiéry, V. Vasilyev, and T. Wiesing (2017)
Knowledge-based interoperability for mathematical software systems.
@@ -301,11 +301,11 @@
Papers at International, Peer-Reviewed Conferences
LNCS, pp. 195–210.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [23]
+
- [23]
D. Müller, T. Gauthier, C. Kaliszyk, M. Kohlhase, and F. Rabe (2017)
Classification of alignments between concepts of formal mathematical systems.
@@ -314,11 +314,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [31]
+
- [31]
T. Wiesing, M. Kohlhase, and F. Rabe (2017)
Virtual theories – a uniform interface to mathematical knowledge bases.
@@ -327,11 +327,11 @@
Papers at International, Peer-Reviewed Conferences
LNCS, pp. 243–257.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [6]
+
- [6]
P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2016)
Interoperability in the OpenDreamKit project: the math-in-the-middle approach.
@@ -340,11 +340,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [10]
+
- [10]
F. Horozal, M. Kohlhase, and F. Rabe (2014)
Flexary operators for formalized mathematics.
@@ -353,11 +353,11 @@
Papers at International, Peer-Reviewed Conferences
LNCS, pp. 312–327.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [11]
+
- [11]
M. Iancu, M. Kohlhase, and C. Prodescu (2014)
Representing, archiving, and searching the space of mathematical knowledge.
@@ -366,12 +366,12 @@
Papers at International, Peer-Reviewed Conferences
LNCS, Vol. 8592, pp. 26–30.
-External Links: Document,
-Link
+External Links: Document,
+Link
-Cited by: p1.
+Cited by: p1.
- - [13]
+
- [13]
C. Kaliszyk and F. Rabe (2014)
Towards knowledge management for HOL Light.
@@ -380,11 +380,11 @@
Papers at International, Peer-Reviewed Conferences
LNCS, pp. 357–372.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [15]
+
- [15]
M. Kohlhase and M. Iancu (2014)
Discourse-level parallel markup and meaning adoption in flexiformal theory graphs.
@@ -393,11 +393,11 @@
Papers at International, Peer-Reviewed Conferences
LNCS, Vol. 8592, pp. 36–40.
-External Links: Document
+External Links: Document
-Cited by: p1.
+Cited by: p1.
- - [16]
+
- [16]
M. Kohlhase, F. Mance, and F. Rabe (2013)
A universal machine for biform theory graphs.
@@ -406,11 +406,11 @@
Papers at International, Peer-Reviewed Conferences
Lecture Notes in Computer Science.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [28]
+
- [28]
F. Rabe (2013)
The MMT API: A Generic MKM System.
@@ -419,9 +419,9 @@
Papers at International, Peer-Reviewed Conferences
Lecture Notes in Computer Science, pp. 339–343.
-Cited by: p1.
+Cited by: p1.
- - [9]
+
- [9]
F. Horozal, M. Kohlhase, and F. Rabe (2012)
Extending MKM formats at the statement level.
@@ -430,11 +430,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 65–80.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [12]
+
- [12]
M. Iancu and F. Rabe (2012)
Management of Change in Declarative Languages.
@@ -443,9 +443,9 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 325–340.
-Cited by: p1.
+Cited by: p1.
- - [27]
+
- [27]
F. Rabe (2012)
A Query Language for Formal Mathematical Libraries.
@@ -456,9 +456,9 @@
Papers at International, Peer-Reviewed Conferences
External Links: 1204.4685
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, and F. Rabe (2011)
A Proof Theoretic Interpretation of Model Theoretic Hiding.
@@ -467,9 +467,9 @@
Papers at International, Peer-Reviewed Conferences
LNCS.
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, F. Rabe, and K. Sojakova (2011)
Towards Logical Frameworks in the Heterogeneous Tool Set Hets.
@@ -478,9 +478,9 @@
Papers at International, Peer-Reviewed Conferences
LNCS.
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, and F. Rabe (2011)
Project abstract: logic atlas and integrator (LATIN).
@@ -489,12 +489,12 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 289–291.
-External Links: Link,
-Document
+External Links: Link,
+Document
-Cited by: p1.
+Cited by: p1.
- - [8]
+
- [8]
F. Horozal, A. Iacob, C. Jucovschi, M. Kohlhase, and F. Rabe (2011)
Combining source, content, presentation, narration, and relational representation.
@@ -503,11 +503,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 212–227.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [20]
+
- [20]
M. Kohlhase, F. Rabe, and C. Sacerdoti Coen (2011)
A foundational view on integration problems.
@@ -518,11 +518,11 @@
Papers at International, Peer-Reviewed Conferences
Note: https://kwarc.info/kohlhase/papers/cicm11-integration.pdf
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
C. David, C. Lange, and F. Rabe (2010)
Interactive Documents as Interfaces to Computer Algebra Systems: JOBAD and Wolfram—Alpha.
@@ -531,9 +531,9 @@
Papers at International, Peer-Reviewed Conferences
Technical Reports of CEDRIC (CNAM/ENSIIE), pp. 13–30.
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
C. David, M. Kohlhase, C. Lange, F. Rabe, N. Zhiltsov, and V. Zholudev (2010)
Publishing math lecture notes as linked data.
@@ -544,9 +544,9 @@
Papers at International, Peer-Reviewed Conferences
External Links: 1004.3390v1
-Cited by: p1.
+Cited by: p1.
- - [21]
+
- [21]
M. Kohlhase, F. Rabe, and V. Zholudev (2010)
Towards MKM in the large: modular representation and scalable software architecture.
@@ -557,20 +557,20 @@
Papers at International, Peer-Reviewed Conferences
External Links: 1005.5232v2
-Cited by: p1.
+Cited by: p1.
- - [32]
+
- [32]
V. Zholudev, M. Kohlhase, and F. Rabe (2010)
A [insert xml format] database for [insert cool application].
In Proceedings of XML Prague 2010Proceedings of XML Prague 2010,
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [7]
+
- [7]
J. Gičeva, C. Lange, and F. Rabe (2009-07)
Integrating web services into active mathematical documents.
@@ -579,11 +579,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 279–293.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [30]
+
- [30]
K. Sojakova and F. Rabe (2009)
Translating Dependently-Typed Logic to First-Order Logic.
@@ -592,9 +592,9 @@
Papers at International, Peer-Reviewed Conferences
LNCS, Vol. 5486, pp. 326–341.
-Cited by: p1.
+Cited by: p1.
- - [17]
+
- [17]
M. Kohlhase, C. Müller, and F. Rabe (2008)
Notations for living mathematical documents.
@@ -603,9 +603,9 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 504–519.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Theses
diff --git a/mrapp/index.html b/mrapp/index.html
index b6cb62ff4..e1786e5cf 100644
--- a/mrapp/index.html
+++ b/mrapp/index.html
@@ -54,27 +54,27 @@ Max Rapp
Archival Literature
Papers at International, Peer-Reviewed Conferences
- - [2]
+
- [2]
D. Lohr, M. Berges, M. Kohlhase, D. Müller, and M. Rapp (2023)
The Y-Model – formalization of computer-science tasks in the context of adaptive learning systems.
In 2023 IEEE German Education Conference (GeCon),
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
G. Lisowski, D. McHugh, and M. Rapp (2016)
Winning questions: inquisitive semantics and the lottery paradox.
In 5th LSE Graduate Conference in Philosophy of Probability,
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Theses
@@ -176,22 +176,22 @@ Papers at Peer-Reviewed Workshops
Unpublished
- - [1]
+
- [1]
M. Kohlhase and M. Rapp (2020)
Argumentation via context graphs.
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
M. Rapp, A. Adrian, and M. Kohlhase (2020)
Context graphs for legal reasoning and argumentation.
External Links: 2007.00732,
-Link
+Link
-Cited by: p1.
+Cited by: p1.
diff --git a/mws/index.html b/mws/index.html
index e684b7527..781701625 100644
--- a/mws/index.html
+++ b/mws/index.html
@@ -63,16 +63,16 @@ Project MathWebSearch
Archival Literature
Articles in Journals
- - [1]
+
- [1]
M. Kohlhase, H. Mihaljevic-Brandt, W. Sperber, and O. Teschke (2013-09)
Zentralblatt column: mathematical formula search.
EMS Newsletter, pp. 56–57.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Articles in Collections
diff --git a/nmueller/index.html b/nmueller/index.html
index 0ff126821..1f68adaf2 100644
--- a/nmueller/index.html
+++ b/nmueller/index.html
@@ -125,7 +125,7 @@ Papers at International, Peer-Reviewed Conferences
Theses
- - [1]
+
- [1]
N. Müller (2005)
OMDoc-Repräsentation von Programmen und Beweisen in VeriFun.
@@ -134,9 +134,9 @@
Theses
Note: https://kwarc.info/nmueller/papers/dt.pdf
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Gray Literature
@@ -214,7 +214,7 @@ Papers at Peer-Reviewed Workshops
Technical Reports
- - [2]
+
- [2]
M. Kohlhase, C. Lange, C. Müller, N. Müller, and F. Rabe (2009-02)
Notations for active mathematical documents.
@@ -225,11 +225,11 @@
Technical Reports
Note: https://kwarc.info/publications/papers/KLMMR_NfAD.pdf
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
M. Kohlhase, C. Lange, C. Müller, N. Müller, and F. Rabe (2008-04)
Adaptation of notations in living mathematical documents.
@@ -238,23 +238,23 @@
Technical Reports
Technical Report 2008-2, Jacobs University Bremen.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Unpublished
- - [1]
+
- [1]
N. Müller (2009)
Change management on semi-structured documents.
Note: https://kwarc.info/nmueller/papers/doceng09.pdf
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Miscellaneous
diff --git a/oaf/index.html b/oaf/index.html
index f0e581b21..c8d72fb31 100644
--- a/oaf/index.html
+++ b/oaf/index.html
@@ -575,7 +575,7 @@ Papers at Peer-Reviewed Workshops
Unpublished
- - [10]
+
- [10]
N. Roux (2021-03-22)
A beginner’s guide to logical relations for a logical framework.
@@ -584,11 +584,11 @@
Unpublished
Note: written as a student of the kwarc seminar
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [9]
+
- [9]
N. Roux (2021-01-27)
A beginner’s guide to logical relations for a logical framework (slides).
@@ -597,22 +597,22 @@
Unpublished
Note: presented as a student of the kwarc seminar
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
F. Rabe and N. Roux (2021)
Modular formalization of formal systems.
Note: under review
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [8]
+
- [8]
N. Roux and F. Rabe (2021)
Structure-Preserving Diagram Operators.
@@ -621,75 +621,75 @@
Unpublished
Lecture Notes in Computer Science, Vol. 12669, pp. 142–163.
-External Links: Link,
+External Links: Link,
ISBN 978-3-030-73785-6,
-Document
+Document
-Cited by: 7.
+Cited by: 7.
- - [1]
+
- [1]
M. Kohlhase, F. Rabe, C. S. Coen, and J. F. Schaefer (2020)
Logic-independent proof search in logical frameworks (extended report).
Note: extended report of conference submission
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
M. Kohlhase, F. Rabe, and M. Wenzel (2020)
Making Isabelle content accessible in knowledge representation formats.
-External Links: Link,
+External Links: Link,
2005.08884
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
M. Kohlhase and F. Rabe (2020)
Experiences from exporting major proof assistant libraries.
-External Links: Link,
+External Links: Link,
2005.03089
-Cited by: p1.
+Cited by: p1.
- - [6]
+
- [6]
N. Roux and F. Rabe (2020)
Diagram Operators in a Logical Framework.
Extended Abstract, Frontiers in Artificial Intelligence and Applications.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [7]
+
- [7]
N. Roux and F. Rabe (2020)
Functorial Diagram Operators.
Extended Abstract.
-Note: Extended abstract accepted as [8]
+Note: Extended abstract accepted as [8]
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
F. Rabe and D. Müller (2018)
Structuring theories with implicit morphisms.
Extended Abstract.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
diff --git a/odk/index.html b/odk/index.html
index 0cd6a82a4..74f3838aa 100644
--- a/odk/index.html
+++ b/odk/index.html
@@ -357,7 +357,7 @@ Papers at Peer-Reviewed Workshops
Technical Reports
- - [1]
+
- [1]
K. Amann, M. Kohlhase, and F. Rabe (2018)
Notebook import into mathhub.info (interactive display).
@@ -366,11 +366,11 @@
Technical Reports
Technical Report D4.11, OpenDreamKit.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
J. Cremona, D. Müller, M. Kohlhase, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2018)
Report on OpenDreamKit deliverable d6.5: gap/sage/lmfdb interface theories and alignment in omdoc/mmt for system interoperability.
@@ -379,11 +379,11 @@
Technical Reports
Technical Report D6.5, OpenDreamKit.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
J. Cremona, D. Müller, M. Kohlhase, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2018)
Report on OpenDreamKit deliverable d6.8: curated math-in-the-middle ontology and alignments for gap/sage/lmfdb.
@@ -392,11 +392,11 @@
Technical Reports
Technical Report D6.8, OpenDreamKit.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [7]
+
- [7]
M. Kohlhase, T. Koprucki, D. Müller, and K. Tabelow (2017)
Mathematical models as research data via flexiformal theory graphs.
@@ -405,11 +405,11 @@
Technical Reports
Technical Report 2385.
-External Links: Document
+External Links: Document
-Cited by: p1.
+Cited by: p1.
- - [8]
+
- [8]
M. Kohlhase and T. Wiesing (2017)
In-place computation in active documents (context/computation).
@@ -418,11 +418,11 @@
Technical Reports
Technical Report D4.9, OpenDreamKit.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [10]
+
- [10]
M. Kohlhase (2017)
Distributed, collaborative, versioned editing of active documents in mathhub.info.
@@ -431,11 +431,11 @@
Technical Reports
Technical Report D4.3, OpenDreamKit.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [11]
+
- [11]
T. Koprucki, M. Kohlhase, K. Tabelow, D. Müller, and F. Rabe (2017)
Model pathway diagrams for the representation of mathematical models.
@@ -444,11 +444,11 @@
Technical Reports
Technical Report 2431.
-External Links: Document
+External Links: Document
-Cited by: p1.
+Cited by: p1.
- - [12]
+
- [12]
S. L. Luca De Feo and T. Wiesing (2017)
Support for the scscp interface protocol in all relevant components (sage, gap etc.) distribution.
@@ -457,11 +457,11 @@
Technical Reports
Technical Report D3.3, OpenDreamKit.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2016)
Report on OpenDreamKit deliverable d6.3: design of triform (D/K/S) theories (specification/rnc schema/examples) and implementation of triform theories in the MMT API.
@@ -470,11 +470,11 @@
Technical Reports
Technical Report D6.2, OpenDreamKit.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2016)
Report on OpenDreamKit deliverables d6.2: initial D/K/S base design (including base survey and requirements workshop report) and d6.3: design of triform (D/K/S) theories (specification/RNC schema/examples) and implementation of triform theories in the mmt api.
@@ -483,11 +483,11 @@
Technical Reports
Technical Report D6.2, OpenDreamKit.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [6]
+
- [6]
M. Kohlhase and A. Glontaru (2016)
Full-text search (formulae + keywords) over latex-based documents.
@@ -496,11 +496,11 @@
Technical Reports
Technical Report D6.1, OpenDreamKit.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [9]
+
- [9]
M. Kohlhase (2016)
Active/structured documents requirements and existing solutions.
@@ -509,9 +509,9 @@
Technical Reports
Technical Report D4.2, OpenDreamKit.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Unpublished
diff --git a/sTeX/index.html b/sTeX/index.html
index c86c1e92d..395e9c943 100644
--- a/sTeX/index.html
+++ b/sTeX/index.html
@@ -169,7 +169,7 @@ Papers at International, Peer-Reviewed Conferences
Monographs
- - [1]
+
- [1]
C. Lange (2011)
Enabling collaboration on semiformal mathematical knowledge by semantic web integration.
@@ -177,25 +177,25 @@
Monographs
Studies on the Semantic Web, AKA Verlag and IOS Press, Heidelberg and Amsterdam.
External Links: ISBN 978-1-60750-840-3,
-Link
+Link
-Cited by: p1.
+Cited by: p1.
Theses
- - [1]
+
- [1]
C. Lange (2011)
Enabling collaboration on semiformal mathematical knowledge by semantic web integration.
Ph.D. Thesis, Jacobs University Bremen.
-Note: Also available as a book [2]
+Note: Also available as a book [2]
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
C. Lange (2011)
Enabling collaboration on semiformal mathematical knowledge by semantic web integration.
@@ -203,9 +203,9 @@
Theses
Studies on the Semantic Web, AKA Verlag and IOS Press, Heidelberg and Amsterdam.
External Links: ISBN 978-1-60750-840-3,
-Link
+Link
-Cited by: 1.
+Cited by: 1.
Gray Literature
diff --git a/smglom/index.html b/smglom/index.html
index 8a52e63b1..1a17e57b6 100644
--- a/smglom/index.html
+++ b/smglom/index.html
@@ -121,49 +121,49 @@ Papers at Peer-Reviewed Workshops
Unpublished
- - [1]
+
- [1]
M. Kohlhase and C. Jucovschi (2014)
Editing workflows in SMGloM.
Note: SMGloM Blue Note
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
M. Kohlhase (2014)
Content management in smglom.
Note: SMGloM Blue Note
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
M. Kohlhase (2014)
SMGloM primer.
Note: SMGloM Blue Note
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
M. Kohlhase (2013)
SMGloM: a semantic multilingual glossary system for mathematics.
Note: SMGloM Blue Note
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
diff --git a/theses/index.html b/theses/index.html
index bf59b4de8..b6fb6eef8 100644
--- a/theses/index.html
+++ b/theses/index.html
@@ -739,208 +739,208 @@ Masters Project Reports
Cited by: p1.
Bachelors Theses
-
[17]
+ [17]
T. W. Schöner (2023-04-23)
User-fact interaction in the UFrameIT framework.
B.Sc. Thesis, FAU Erlangen-Nürnberg.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- [18]
+ [18]
M. Tintemann (2022-10-12)
LoViWo extended. facilitating further content additions for an existing knowledge based physics simulation prototype.
B.Sc. Thesis, FAU Erlangen-Nürnberg.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- [6]
+ [6]
M. N. Dreier (2022-10-11)
Projektarbeit: erweiterung der mmt-wissensbasis für volumenbasierte mathematik-aufgaben in uframeit.
M.Sc. Project Report, FAU Erlangen-Nürnberg.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- [4]
+ [4]
I. de Souza Bueno Júnior (2022)
Interfacing mathematical human-computer interactions by using the grammatical logical inference framework.
Bachelor’s Thesis, Informatik, FAU Erlangen-Nürnberg.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- [3]
+ [3]
A. Dalga (2021-03)
Semantik-extraktion für mengen-phrasen in naturwissenschaftlichen papieren durch sequence-to-sequence modelle.
B.Sc. Thesis, FAU Erlangen-Nürnberg.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- [2]
+ [2]
C. Cerny (2020-12-04)
Generating expressions in mmt.
B.Sc. Thesis, FAU Erlangen-Nürnberg.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- [5]
+ [5]
M. N. Dreier (2020-12-04)
Syntax und semantik von funktionalen konzepten in der mathematik.
B.Sc. Thesis, FAU Erlangen-Nürnberg.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- [1]
+ [1]
C. Alt (2019-12)
Diagram chasing done meta – formula search for nLab.
B.Sc. Thesis, FAU Erlangen-Nürnberg.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- [15]
+ [15]
N. Roux (2019-07-01)
Refactoring of theory graphs in knowledge representation systems.
B.Sc. Thesis, FAU Erlangen-Nürnberg.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- [7]
+ [7]
D. Gorolenkov (2018-09)
Meaning extraction in stem-documents by machine-learning methods.
B.Sc. Thesis, FAU Erlangen-Nürnberg.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- [9]
+ [9]
P. Lohnert (2018-09)
Automatisches ableiten von steuerungsabläufen durch semantische modellierung von funktionen und methoden der künstlichen intelligenz.
B.Sc. Thesis, FAU Erlangen-Nürnberg.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- [13]
+ [13]
M. Plivelic (2018-02)
Using machine learning to support annotating of keywords in mathematical texts.
B.Sc. Thesis, FAU Erlangen-Nürnberg.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- [10]
+ [10]
E. Luzhnica (2016)
Formula semantification and automated relation finding in the OEIS.
B. Sc. Thesis, Jacobs University Bremen.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- [14]
+ [14]
D. Rochau (2016)
FrameIT reloaded: serious math games from logic.
B.Sc. Thesis, Jacobs University Bremen.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- [16]
+ [16]
J. F. Schaefer (2016)
Declaration spotting in mathematical documents.
B. Sc. Thesis, Jacobs University Bremen.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- [19]
+ [19]
T. Wiesing (2015)
Semantic search for quantity expressions.
B. Sc. Thesis, Jacobs University Bremen.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- [11]
+ [11]
S. Oprea (2012)
Modeling semantic similarity between scientific documents.
B.Sc. Thesis, Jacobs University Bremen.
-Cited by: p1.
+Cited by: p1.
- [8]
+ [8]
A. Iacob (2011)
Towards Project-Based Workflows in Twelf.
Master’s Thesis, Jacobs University Bremen.
-Cited by: p1.
+Cited by: p1.
- [12]
+ [12]
D. Pesikan (2007)
Coping with content representations of mathematics in editor environments: nOMDoc mode.
Bachelor’s Thesis, Computer Science, Jacobs University, Bremen.
-Cited by: p1.
+Cited by: p1.
Bachelors Project Reports
[1]
diff --git a/voll-ki/index.html b/voll-ki/index.html
index ce9b86cf5..d7ff8e698 100644
--- a/voll-ki/index.html
+++ b/voll-ki/index.html
@@ -133,7 +133,7 @@ Articles in Journals
Papers at International, Peer-Reviewed Conferences
- - [1]
+
- [1]
M. Berges, J. Betzendahl, A. Chugh, M. Kohlhase, D. Lohr, and D. Müller (2023)
Learning support systems based on mathematical knowledge managment.
@@ -142,11 +142,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [9]
+
- [9]
T. Kruse, M. Berges, J. Betzendahl, M. Kohlhase, D. Lohr, and D. Müller (2023)
Learning with alea: tailored experiences through annotated course material.
@@ -155,22 +155,22 @@
Papers at International, Peer-Reviewed Conferences
Lecture Notes in Informatics.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [10]
+
- [10]
D. Lohr, M. Berges, M. Kohlhase, D. Müller, and M. Rapp (2023)
The Y-Model – formalization of computer-science tasks in the context of adaptive learning systems.
In 2023 IEEE German Education Conference (GeCon),
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [11]
+
- [11]
D. Lohr, M. Berges, M. Kohlhase, and F. Rabe (2023)
The potential of answer classes in large-scale written computer-science exams.
@@ -181,11 +181,11 @@
Papers at International, Peer-Reviewed Conferences
Note: Accepted
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [8]
+
- [8]
M. Kohlhase and D. Müller (2022)
System description: sTeX3 – a LaTeX-based ecosystem for semantic/active mathematical documents.
@@ -194,11 +194,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, Vol. 13467, pp. 184–188.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [13]
+
- [13]
D. Müller and M. Kohlhase (2022)
Injecting formal mathematics into latex.
@@ -207,11 +207,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, Vol. 13467, pp. 168–183.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [7]
+
- [7]
P. Hubwieser, M. Berges, M. Striewe, and M. Goedicke (2017)
Towards competency based testing and feedback: competency definition and measurement in the field of algorithms & data structures.
@@ -221,11 +221,11 @@
Papers at International, Peer-Reviewed Conferences
IEEE Conference Publications, pp. 517–526.
External Links: ISBN 978-1-5090-5467-1,
-Document
+Document
-Cited by: p1.
+Cited by: p1.
- - [16]
+
- [16]
P. Shah, M. Berges, and P. Hubwieser (2017)
Qualitative content analysis of programming errors.
@@ -235,11 +235,11 @@
Papers at International, Peer-Reviewed Conferences
International Conference Proceedings Series, New York.
External Links: ISBN 978-1-4503-4791-4,
-Document
+Document
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
M. Berges, M. Striewe, P. Shah, M. Goedicke, and P. Hubwieser (2016)
Towards deriving programming competencies from student errors.
@@ -248,9 +248,9 @@
Papers at International, Peer-Reviewed Conferences
Los Alamitos, pp. 19–23.
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
M. Berges and P. Hubwieser (2015)
Evaluation of source code with item response theory.
@@ -259,9 +259,9 @@
Papers at International, Peer-Reviewed Conferences
New York, pp. 51–56.
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
M. Berges (2015)
Investigating novice programming abilities with the help of psychometric assessment.
@@ -270,9 +270,9 @@
Papers at International, Peer-Reviewed Conferences
Las Vegas, NV, United States, pp. 90–95.
-Cited by: p1.
+Cited by: p1.
- - [12]
+
- [12]
M. Margaritis, J. Magenheim, P. Hubwieser, M. Berges, L. Ohrndorf, and S. Schubert (2015)
Development of a competency model for computer science teachers at secondary school level.
@@ -281,11 +281,11 @@
Papers at International, Peer-Reviewed Conferences
Los Alamitos, pp. 211–220.
-External Links: Document
+External Links: Document
-Cited by: p1.
+Cited by: p1.
- - [15]
+
- [15]
A. Ruf, M. Berges, and P. Hubwieser (2015)
Classification of programming tasks according to required skills and knowledge representation.
@@ -296,9 +296,9 @@
Papers at International, Peer-Reviewed Conferences
External Links: ISBN 978-3-319-25395-4
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
M. Berges and P. Hubwieser (2013)
Concept specification maps: displaying content structures.
@@ -308,11 +308,11 @@
Papers at International, Peer-Reviewed Conferences
New York, USA, pp. 291–296.
External Links: ISBN 978-1-4503-2078-8,
-Document
+Document
-Cited by: p1.
+Cited by: p1.
- - [6]
+
- [6]
P. Hubwieser, M. Berges, J. Magenheim, N. Schaper, K. Bröker, M. Margaritis, S. Schubert, and L. Ohrndorf (2013)
Pedagogical content knowledge for computer science in german teacher education curricula.
@@ -321,13 +321,13 @@
Papers at International, Peer-Reviewed Conferences
New York, pp. 95–103.
-External Links: Link,
+External Links: Link,
ISBN 978-1-4503-2455-7,
-Document
+Document
-Cited by: p1.
+Cited by: p1.
- - [14]
+
- [14]
A. Ruf, M. Berges, and P. Hubwieser (2013)
Types of assignments for novice programmers.
@@ -337,9 +337,9 @@
Papers at International, Peer-Reviewed Conferences
New York, pp. 43–44.
External Links: ISBN 978-1-4503-2455-7,
-Document
+Document
-Cited by: p1.
+Cited by: p1.
Theses
diff --git a/vzholudev/index.html b/vzholudev/index.html
index e1036f16d..0d01f027e 100644
--- a/vzholudev/index.html
+++ b/vzholudev/index.html
@@ -77,7 +77,7 @@ Articles in Journals
Papers at International, Peer-Reviewed Conferences
- - [1]
+
- [1]
S. Autexier, C. David, D. Dietrich, M. Kohlhase, and V. Zholudev (2011)
Workflows for the management of change in science, technologies, engineering and mathematics.
@@ -86,11 +86,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 164–179.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
C. Lange, M. Kohlhase, C. David, D. Ginev, A. Kohlhase, B. Matican, S. Mirea, and V. Zholudev (2011)
The planetary system: executable science, technology, engineering and math papers.
@@ -101,9 +101,9 @@
Papers at International, Peer-Reviewed Conferences
External Links: 1103.1482
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
C. David, M. Kohlhase, C. Lange, F. Rabe, N. Zhiltsov, and V. Zholudev (2010)
Publishing math lecture notes as linked data.
@@ -114,9 +114,9 @@
Papers at International, Peer-Reviewed Conferences
External Links: 1004.3390v1
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
M. Kohlhase, F. Rabe, and V. Zholudev (2010)
Towards MKM in the large: modular representation and scalable software architecture.
@@ -127,20 +127,20 @@
Papers at International, Peer-Reviewed Conferences
External Links: 1005.5232v2
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
V. Zholudev, M. Kohlhase, and F. Rabe (2010)
A [insert xml format] database for [insert cool application].
In Proceedings of XML Prague 2010Proceedings of XML Prague 2010,
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [7]
+
- [7]
V. Zholudev and M. Kohlhase (2010)
Scripting documents with xquery: virtual documents in TNTBase.
@@ -151,11 +151,11 @@
Papers at International, Peer-Reviewed Conferences
Note: available at http://www.balisage.net/Proceedings/vol3/html/Zholudev01/BalisageVol3-Zholudev01.html
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [6]
+
- [6]
V. Zholudev and M. Kohlhase (2009)
TNTBase: a versioned storage for XML.
@@ -166,26 +166,26 @@
Papers at International, Peer-Reviewed Conferences
Note: available at https://kwarc.info/vzholudev/pubs/balisage.pdf
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Gray Literature
Papers at Peer-Reviewed Workshops
- - [2]
+
- [2]
C. David, M. Kohlhase, C. Lange, F. Rabe, and V. Zholudev (2010-06)
JOBAD/MMT – interactive mathematics.
In AI Mashup ChallengeAI Mashup Challenge at ESWC, A. Giurca, B. Endres-Niggemeyer, C. Lange, L. Maicher, and P. Hitzler (Eds.),
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
C. David, M. Kohlhase, C. Lange, F. Rabe, N. Zhiltsov, and V. Zholudev (2010)
Publishing math lecture notes as linked data.
@@ -196,9 +196,9 @@
Papers at Peer-Reviewed Workshops
External Links: 1004.3390v1
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
C. Lange and V. Zholudev (2010)
Previewing OWL changes and refactorings using a flexible XML database.
@@ -207,22 +207,22 @@
Papers at Peer-Reviewed Workshops
CEUR Workshop Proceedings.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [6]
+
- [6]
V. Zholudev, M. Kohlhase, and F. Rabe (2010)
A [insert xml format] database for [insert cool application].
In Proceedings of XML Prague 2010Proceedings of XML Prague 2010,
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
M. Hartmann and F. Janssen (2009-09)
LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität.
@@ -231,20 +231,20 @@
Papers at Peer-Reviewed Workshops
Vol. TUD-KE-2009-04, Universität Darmstadt.
-Cited by: 7.
+Cited by: 7.
- - [4]
+
- [4]
M. Kohlhase, J. Gičeva, C. Lange, and V. Zholudev (2009-09)
JOBAD – interactive mathematical documents.
In AI Mashup ChallengeAI Mashup Challenge at KI Conference, B. Endres-Niggemeyer, V. Zacharias, and P. Hitzler (Eds.),
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [7]
+
- [7]
V. Zholudev (2009-09)
The TNTBase System and Validation of XML Documents.
@@ -253,9 +253,9 @@
Papers at Peer-Reviewed Workshops
pp. 57–63.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Technical Reports
diff --git a/xml/extpubs.bib.xml b/xml/extpubs.bib.xml
index d6a2cf602..0ae779fd4 100644
--- a/xml/extpubs.bib.xml
+++ b/xml/extpubs.bib.xml
@@ -7,7 +7,22 @@
-
+
+
+ Shein
+ Esther
+
+ CACM online
+ 2024
+ Link
+ @online{Shein:iacse24,
+ author = {Esther Shein},
+ journal = {CACM online},
+ year = {2024},
+ url = {https://cacm.acm.org/news/the-impact-of-ai-on-computer-science-education/}}
+
+
+
Software requirements
3
@@ -30,7 +45,7 @@
isbn = {9780735679658}}
-
+
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
Bradford,R.J.
@@ -50,7 +65,7 @@
pages = {75–89}}
-
+
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy (II)
Bradford,R.J.
@@ -76,7 +91,7 @@
pages = {93-0-98}}
-
+
Automated exercise generation for satisfiability checking
Ábrahám
@@ -113,7 +128,7 @@
url = {https://publications.rwth-aachen.de/record/957774}}
-
+
Anderson
Lorin W.
@@ -138,7 +153,7 @@
file = {Anderson 2009 - A taxonomy for learning:Attachments/Anderson 2009 - A taxonomy for learning.pdf:application/pdf}}
-
+
Vaswani
Ashish
@@ -220,7 +235,7 @@
year = {2017}}
-
+
BASIX – an interpreter written in \tex
Greene
@@ -239,7 +254,7 @@
year = {1990}}
-
+
R markdown: the definitive guide
Xie
@@ -268,7 +283,7 @@
url = {https://bookdown.org/yihui/rmarkdown}}
-
+
R markdown: dynamic documents for r
Allaire
@@ -326,7 +341,7 @@
url = {https://github.com/rstudio/rmarkdown}}
-
+
A web-based tool for the integrated annotation of semantic and syntactic structures
Eckart de Castilho
@@ -383,7 +398,7 @@
pages = {76–84}}
-
+
Miogatto: a math identifier-oriented grounding annotation tool
Asakura
@@ -412,7 +427,7 @@
year = {2021}}
-
+
Exploration of neural machine translation in autoformalization of mathematics in mizar
Wang
@@ -443,7 +458,7 @@
year = {2020}}
-
+
Asakura
Takuto
@@ -478,7 +493,7 @@
url = {https://aclanthology.org/2022.lrec-1.519}}
-
+
Metropolis
N.
@@ -515,7 +530,7 @@
pages = {1087–1091}}
-
+
Artificial intelligence: structures and strategies for complex problem solving
Luger
@@ -538,7 +553,7 @@
publisher = {The Benjamin/Cummings}}
-
+
Kurzweil
Ray
@@ -555,7 +570,7 @@
isbn = {0-262-11121-7}}
-
+
Charniak
Eugene
@@ -574,7 +589,7 @@
year = {1985}}
-
+
Artificial intelligence: the very idea
Haugeland
@@ -589,7 +604,7 @@
publisher = {Massachusetts Institute of Technology}}
-
+
Specifying with syntactic theory functors
Journal of Logical and Algebraic Methods in Programming
@@ -622,7 +637,7 @@
keywords = {Specification languages, Reuse mechanisms, Institution-independence}}
-
+
Bloom’s taxonomy of the cognitive domain and the SOLO taxonomy are being increasingly widely used in the design and assessment of courses, but there are some drawbacks to their use in computer science. This paper reviews the literature on educational taxonomies and their use in computer science education, identifies some of the problems that arise, proposes a new taxonomy and discusses how this can be used in application-oriented courses such as programming.
Fuller
@@ -691,7 +706,7 @@
file = {Fuller, Johnson et al 2007 - Developing a computer science-specific learning:Attachments/Fuller, Johnson et al 2007 - Developing a computer science-specific learning.pdf:application/pdf}}
-
+
2010
Mering
@@ -710,7 +725,7 @@
url = {}}
-
+
Morales
R.
@@ -754,7 +769,7 @@
url = {http://nvl.calques3d.org/publications/2008.IUI.Keystone}}
-
+
Melis
Erica
@@ -793,7 +808,7 @@
pubs = {activemath}}
-
+
Dimitrova
Vania
@@ -826,7 +841,7 @@
url = {https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.372.7369&rep=rep1&type=pdf}}
-
+
Ziliani
Beta
@@ -847,7 +862,7 @@
urldate = {2021-01-26}}
-
+
Ahmed
Amal
@@ -868,7 +883,7 @@
year = {2013}}
-
+
An introduction to logical relations
Skorstengaard
@@ -887,7 +902,7 @@
primaryclass = {cs.PL}}
-
+
Ullrich
Carsten
@@ -920,7 +935,7 @@
pubs = {activemath}}
-
+
Ullrich
Carsten
@@ -945,7 +960,7 @@
pubs = {activemath}}
-
+
Haveraaen
Magne
@@ -972,7 +987,7 @@
doi = {10.1016/j.jlamp.2020.100543}}
-
+
Kokke
Pepijn
@@ -1016,7 +1031,7 @@
doi = {10.1007/978-3-319-19797-5_14}}
-
+
Chen
Liang-Ting
@@ -1039,7 +1054,7 @@
booktitle = {Workshop on Type-driven Development (TyDe) 2019, at the 13th MathUI Workshop 2021, Mathematical User Interaction, at the International Conference on Functional Programming}}
-
+
Makkai
Michael
@@ -1058,7 +1073,7 @@
urldate = {2021-11-30}}
-
+
Dreyer
Derek
@@ -1084,7 +1099,7 @@
url = {https://people.mpi-sws.org/~dreyer/thesis/main.pdf}}
-
+
Dreyer
Derek
@@ -1133,7 +1148,7 @@
series = {POPL '03}}
-
+
Specware: Formal Support for Composing Software
Srinivas
@@ -1161,7 +1176,7 @@
publisher = {Springer}}
-
+
Beluga: A Framework for Programming and Reasoning with Deductive Systems (System description)
Pientka
@@ -1195,7 +1210,7 @@
pages = {15–21}}
-
+
Goguen
J.
@@ -1243,7 +1258,7 @@
year = {1993}}
-
+
Flightright: ihr experte für ticketerstattung und flugentschädigung
Link
2021-10-10
@@ -1253,7 +1268,7 @@
urldate = {2021-10-10}}
-
+
Adrian
Axel
@@ -1276,7 +1291,7 @@
pages = {77–121}}
-
+
Legal technology
Link
2021-11-01
@@ -1288,7 +1303,7 @@
note = {Wikipedia}}
-
+
Pentium-fdiv-bug
Wikipedia
Link
@@ -1300,7 +1315,7 @@
urldate = {2021-10-06}}
-
+
Modernisierung des zivilprozesses – diskussionspapier
des Zivilprozesses“
@@ -1321,7 +1336,7 @@ Bundesgerichthofs
url = {https://www.justiz.bayern.de/media/images/behoerden-und-gerichte/oberlandesgerichte/nuernberg/diskussionspapier_ag_modernisierung.pdf}}
-
+
Expertensysteme im bereich der steuerverwaltung als beispiel eines strukturierten digitalen verfahrens – ein erfahrungsaustausch zum nutzen eines künftigen digitalen justizportals
Adrian
@@ -1340,7 +1355,7 @@ Bundesgerichthofs
note = {Im Tagugungsband \emph{Digitalisierung von Zivilprozess und Rechtsdurchsetzung} in Vorbereitung}}
-
+
Blog post
Goodenough
@@ -1357,7 +1372,7 @@ Bundesgerichthofs
year = {2015}}
-
+
Berichte des NEGZ
19
Digitalisierung der Gesetzgebung zur Steigerung der Digitalen Souveränität des Staates
@@ -1401,7 +1416,7 @@ Bundesgerichthofs
url = {https://negz.org/wp-content/uploads/2021/06/NEGZ-Kurzstudie-19-Digitalisierung-der-Gesetzgebung-2021.pdf}}
-
+
The boom hierarchy
Bunkenburg
@@ -1420,7 +1435,7 @@ Bundesgerichthofs
doi = {10.1007/978-1-4471-3236-3\_1}}
-
+
Carette
Jacques
@@ -1447,7 +1462,7 @@ Bundesgerichthofs
note = {Accessed 2022-02-18}}
-
+
Leveraging information contained in theory presentations
Link
Building a large library of mathematical knowledge is a complex and labour-intensive task. By examining current libraries of mathematics, we see that the human effort put in building them is not entirely directed towards tasks that need human creativity. Instead, a non-trivial amount of work is spent on providing definitions that could have been mechanically derived. In this work, we propose a generative approach to library building, so definitions that can be automatically derived are computed by meta-programs. We focus our attention on libraries of algebraic structures, like monoids, groups, and rings. These structures are highly inter-related and their commonalities have been well-studied in universal algebra. We use theory presentation combinators to build a library of algebraic structures. Definitions from universal algebra and programming languages meta-theory are used to derive library definitions of constructions, like homomorphisms and term languages, from algebraic theory presentations. The result is an interpreter that, given 227 theory expressions, builds a library of over 5000 definitions. This library is, then, exported to Agda and Lean.
@@ -1466,7 +1481,7 @@ Bundesgerichthofs
date = {2021}}
-
+
Carette
Jacques
@@ -1513,7 +1528,7 @@ Bundesgerichthofs
location = {Bertinoro, Italy}}
-
+
Wikipedia contributors
@@ -1529,7 +1544,7 @@ Bundesgerichthofs
note = {[Online; accessed 3-February-2022]}}
-
+
Engineering proof by reflection in agda
van der Walt
@@ -1558,7 +1573,7 @@ Bundesgerichthofs
url = {https://hal.inria.fr/hal-00987610/PDF/ReflectionProofs.pdf}}
-
+
Jacobs
Bart
@@ -1583,7 +1598,7 @@ Bundesgerichthofs
url = {http://www.cs.ru.nl/B.Jacobs/CLG/JacobsCoalgebraIntro.pdf}}
-
+
Berlin, Heidelberg
Universal algebra for computer scientists
ISBN 9783540542803
@@ -1614,7 +1629,7 @@ Bundesgerichthofs
doi = {10.1007/978-3-642-76771-5}}
-
+
A course in universal algebra
The Millennium Edition
@@ -1647,7 +1662,7 @@ Bundesgerichthofs
numpages = {276}}
-
+
mathlib Community
The
@@ -1698,7 +1713,7 @@ the social organization that has led to its development.
series = {CPP 2020}}
-
+
agd
Contributors of agda/agda-stdlib on GitHub
@@ -1722,7 +1737,7 @@ the social organization that has led to its development.
commit = {dd20869e959eb2eac3b8214ddf124b40cabc03e7}}
-
+
A constructive algebraic hierarchy in coq
Journal of Symbolic Computation
@@ -1765,7 +1780,7 @@ the social organization that has led to its development.
abstract = {We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof of the fundamental theorem of algebra has been formalized in Coq. The algebraic hierarchy that is described here is both abstract and structured. Structures like groups and rings are part of it in an abstract way, defining e.g. a ring as a tuple consisting of a group, a binary operation and a constant that together satisfy the properties of a ring. In this way, a ring automatically inherits the group properties of the additive subgroup. The algebraic hierarchy is formalized in Coq by applying a combination of labelled record types and coercions. In the labelled record types of Coq, one can use dependent types: the type of one label may depend on another label. This allows us to give a type to a dependent-typed tuple like 〈A, f, a〉, where A is a set,f an operation on A and a an element of A. Coercions are functions that are used implicitly (they are inferred by the type checker) and allow, for example, to use the structure A:= 〈A, f, a〉 as a synonym for the carrier set A, as is often done in mathematical practice. Apart from the inheritance and reuse of properties, the algebraic hierarchy has proven very useful for reusing notations.}}
-
+
Enhancing the nuprl proof development system and applying it to computational abstract algebra
Jackson
@@ -1780,7 +1795,7 @@ the social organization that has led to its development.
url = {https://homepages.inf.ed.ac.uk/pbj/papers/thesis.pdf}}
-
+
mathcomp
Contributors of math-comp/math-comp on GitHub
@@ -1804,7 +1819,7 @@ the social organization that has led to its development.
commit = {07830d201e29d208a5a4bf13e630468f03bfadd5}}
-
+
Garillot
François
@@ -1860,7 +1875,7 @@ the social organization that has led to its development.
isbn = {978-3-642-03359-9}}
-
+
Formalization of universal algebra in agda
Electronic Notes in Theoretical Computer Science
@@ -1901,7 +1916,7 @@ the social organization that has led to its development.
abstract = {In this work we present a novel formalization of universal algebra in Agda. We show that heterogeneous signatures can be elegantly modelled in type-theory using sets indexed by arities to represent operations. We prove elementary results of heterogeneous algebras, including the proof that the term algebra is initial and the proofs of the three isomorphism theorems. We further formalize equational theory and prove soundness and completeness. At the end, we define (derived) signature morphisms, from which we get the contravariant functor between algebras; moreover, we also proved that, under some restrictions, the translation of a theory induces a contra-variant functor between models.}}
-
+
Type classes for mathematics in type theory†
Spitters
@@ -1928,7 +1943,7 @@ the social organization that has led to its development.
url = {https://arxiv.org/pdf/1102.1323.pdf}}
-
+
Capretta
Venanzio
@@ -1949,7 +1964,7 @@ the social organization that has led to its development.
publisher = {Springer-Verlag}}
-
+
Elevator control as a planning problem
Köhler
@@ -1976,7 +1991,7 @@ the social organization that has led to its development.
url = {https://www.aaai.org/Papers/AIPS/2000/AIPS00-036.pdf}}
-
+
The MetaCoq Project
Sozeau
@@ -2039,7 +2054,7 @@ the social organization that has led to its development.
hal_version = {v1}}
-
+
DeMeo
William
@@ -2069,7 +2084,7 @@ the social organization that has led to its development.
note = {source code: \url{https://gitlab.com/ualib/ualib.gitlab.io}}}
-
+
An introduction to small scale reflection in coq
Gonthier
@@ -2096,7 +2111,7 @@ the social organization that has led to its development.
doi = {10.6092/issn.1972-5787/1979}}
-
+
Kaiser
Jan-Oliver
@@ -2151,7 +2166,7 @@ the social organization that has led to its development.
keywords = {Tactic Languages, Theorem Proving, Dependent Types, Metaprogramming, Coq}}
-
+
Pédrot
Pierre-Marie
@@ -2170,7 +2185,7 @@ the social organization that has led to its development.
url = {https://www.xn–pdrot-bsa.fr/articles/coqpl2019.pdf}}
-
+
Delahaye
David
@@ -2209,7 +2224,7 @@ the social organization that has led to its development.
doi = {10.1007/3-540-44404-1_7}}
-
+
Schulz
Stephan
@@ -2247,7 +2262,7 @@ the social organization that has led to its development.
publisher = {Springer}}
-
+
Christiansen
David
@@ -2314,7 +2329,7 @@ as it can relate to other languages.
keywords = {Metaprogramming, dependent types, elaboration}}
-
+
Ebner
Gabriel
@@ -2383,7 +2398,7 @@ kinds of automation.
keywords = {theorem proving, dependent type theory, tactic language, metaprogramming}}
-
+
Sheard
Tim
@@ -2399,16 +2414,16 @@ kinds of automation.
2002-10
10
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithmic construction of programs at compile-time.
-
+
- [76]
- 76
+ [77]
+ 77
The ability to generate code at compile time allows the programmer to implement such features as polytypic programs, macro-like expansion, user directed optimization (such as inlining), and the generation of supporting data structures and functions from existing data structures and functions.
-
+
- [77]
- 77
+ [78]
+ 78
Our design is being implemented in the Glasgow Haskell Compiler, ghc.
@@ -2432,7 +2447,7 @@ kinds of automation.
edition = {Proceedings of the 2002 Haskell Workshop, Pittsburgh}}
-
+
Blöndal
Baldur
@@ -2499,7 +2514,7 @@ natural and allows a high degree of abstraction.
series = {Haskell 2018}}
-
+
Anand
Abhishek
@@ -2552,7 +2567,7 @@ natural and allows a high degree of abstraction.
isbn = {978-3-319-94821-8}}
-
+
Lilis
Yannis
@@ -2617,7 +2632,7 @@ and the relation between the metalanguage and the object language.
keywords = {Metaprogramming, reflection, generative programming, multistage languages, macro systems, aspect-oriented programming, meta-object protocols}}
-
+
Harnad
Stevan
@@ -2642,7 +2657,7 @@ and the relation between the metalanguage and the object language.
note = {revision \#73220}}
-
+
Building a large annotated corpus of English: the penn treebank
Marcus
@@ -2673,7 +2688,7 @@ and the relation between the metalanguage and the object language.
pages = {313–330}}
-
+
Lee
Lillian
@@ -2696,7 +2711,7 @@ and the relation between the metalanguage and the object language.
number = {1}}
-
+
Cambridge, London
Searle
@@ -2713,7 +2728,7 @@ and the relation between the metalanguage and the object language.
year = {1969}}
-
+
Wittgenstein
Ludwig
@@ -2730,7 +2745,7 @@ and the relation between the metalanguage and the object language.
year = {1953}}
-
+
Austin
John Langshaw
@@ -2747,7 +2762,7 @@ and the relation between the metalanguage and the object language.
year = {1962}}
-
+
Steels
Luc
@@ -2783,7 +2798,7 @@ and the relation between the metalanguage and the object language.
url = {https://ai.vub.ac.be/sites/default/files/steels-08e.pdf}}
-
+
Lucas
Peter
@@ -2806,7 +2821,7 @@ and the relation between the metalanguage and the object language.
url = {https://www.researchgate.net/publication/2460438_Knowledge_Acquisition_for_Decision-theoretic_Expert_Systems}}
-
+
MARC
MARC standards (network development and marc standards office, library of congress)
Link
@@ -2818,7 +2833,7 @@ and the relation between the metalanguage and the object language.
urldate = {2021-04-18}}
-
+
Sophize
Link
2021-04-01
@@ -2828,7 +2843,7 @@ and the relation between the metalanguage and the object language.
urldate = {2021-04-01}}
-
+
Analysis 1: differential- und integralrechnung einer veränderlichen
Forster
@@ -2849,7 +2864,7 @@ and the relation between the metalanguage and the object language.
publisher = {Springer Spektrum}}
-
+
Fischer
Gerd
@@ -2868,7 +2883,7 @@ and the relation between the metalanguage and the object language.
edition = {18}}
-
+
Introduction to the Calculus of Inductive Constructions
Paulin-Mohring
@@ -2912,7 +2927,7 @@ and the relation between the metalanguage and the object language.
hal_version = {v1}}
-
+
Wadler
Philip
@@ -2949,7 +2964,7 @@ and the relation between the metalanguage and the object language.
series = {FPCA '89}}
-
+
Sozeau
Matthieu
@@ -3004,7 +3019,7 @@ and the relation between the metalanguage and the object language.
keywords = {certification, proof assistants, type checker}}
-
+
Schürmann
C.
@@ -3033,7 +3048,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-01-26}}
-
+
Anzeiger der Akademie der Wissenschaften in Wien
@@ -3054,7 +3069,7 @@ and the relation between the metalanguage and the object language.
title = {Zum Intuitionistischen Aussagenkalk\"ul}}
-
+
Cresswell
M. J.
@@ -3071,7 +3086,7 @@ and the relation between the metalanguage and the object language.
doi = {10.1007/978-94-015-7668-0_2}}
-
+
Hughes
G. E.
@@ -3092,7 +3107,7 @@ and the relation between the metalanguage and the object language.
year = {1984}}
-
+
Stalnaker
Robert
@@ -3107,7 +3122,7 @@ and the relation between the metalanguage and the object language.
publisher = {Oxford University Press}}
-
+
Saeed
John I.
@@ -3124,7 +3139,7 @@ and the relation between the metalanguage and the object language.
publisher = {Blackwell}}
-
+
Portner
Paul
@@ -3139,7 +3154,7 @@ and the relation between the metalanguage and the object language.
publisher = {Blackwell}}
-
+
Kearns
Kate
@@ -3156,7 +3171,7 @@ and the relation between the metalanguage and the object language.
publisher = {Palgrave Macmillan}}
-
+
Jackendoff
Ray
@@ -3171,7 +3186,7 @@ and the relation between the metalanguage and the object language.
publisher = {MIT Press}}
-
+
Cruse
Alan
@@ -3188,7 +3203,7 @@ and the relation between the metalanguage and the object language.
publishers = {OUP}}
-
+
Ariel
Mira
@@ -3205,7 +3220,7 @@ and the relation between the metalanguage and the object language.
publisher = {Cambridge University Press}}
-
+
Zimmermann
Thomas Ede
@@ -3224,7 +3239,7 @@ and the relation between the metalanguage and the object language.
publisher = {de Gruyter Mouton}}
-
+
Riemer
Nick
@@ -3241,7 +3256,7 @@ and the relation between the metalanguage and the object language.
publisher = {Cambridge University Press}}
-
+
Birner
Betty J.
@@ -3256,7 +3271,7 @@ and the relation between the metalanguage and the object language.
publisher = {Wiley-Blackwell}}
-
+
Hurford
James R.
@@ -3281,7 +3296,7 @@ and the relation between the metalanguage and the object language.
publisher = {Cambridge University Press}}
-
+
Cann
Ronnie
@@ -3306,7 +3321,7 @@ and the relation between the metalanguage and the object language.
isbn = {0521819628}}
-
+
The Winograd schema challenge
Levesque
@@ -3331,7 +3346,7 @@ and the relation between the metalanguage and the object language.
year = {2012}}
-
+
Scharrer
Martin
@@ -3346,7 +3361,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-10-16}}
-
+
LM
LabelMe: the open annotation tool
Link
@@ -3358,7 +3373,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-08-28}}
-
+
LOD
The linked open data cloud
Link
@@ -3370,7 +3385,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-08-19}}
-
+
GLForTheL – implementing forthel in glf
GLF
Link
@@ -3382,7 +3397,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-08-06}}
-
+
DynGenPar–a dynamic generalized parser for common mathematical language
Kofler
@@ -3401,7 +3416,7 @@ and the relation between the metalanguage and the object language.
crossref = {CICM12}}
-
+
ODC
Open data commons – legal tools for open data
Link
@@ -3413,7 +3428,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-07-29}}
-
+
GN
Geonames
Link
@@ -3425,7 +3440,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-07-29}}
-
+
GND
DNB – the integrated authority file (GND)
Link
@@ -3437,7 +3452,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-07-29}}
-
+
WH
WissKI handbuch
Link
@@ -3449,7 +3464,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-07-23}}
-
+
Drupal 8 development cookbook – harness the power of drupal 8 with this recipe-based practical guide
2
@@ -3468,7 +3483,7 @@ and the relation between the metalanguage and the object language.
isbn = {9781788290401}}
-
+
Enterprise drupal 8 development – for advanced projects and large development teams
Tomlinson
@@ -3485,7 +3500,7 @@ and the relation between the metalanguage and the object language.
isbn = {9781484202548}}
-
+
ECRM
Link
Erlangen CRM/OWL - an OWL DL 1.0 implementation of the CIDOC conceptual reference model (CIDOC CRM)
@@ -3497,7 +3512,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-07-13}}
-
+
ECRM
Link
Erlangen-crm
@@ -3509,7 +3524,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-07-13}}
-
+
Bove
Jens
@@ -3536,7 +3551,7 @@ and the relation between the metalanguage and the object language.
publisher = {K.G.Saur}}
-
+
HiDa
Link
HiDa
@@ -3548,7 +3563,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-07-12}}
-
+
SPEC
Kestrel Institute
@@ -3564,7 +3579,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-05-27}}
-
+
The heterogeneous tool set, hets
Mossakowski
@@ -3593,7 +3608,7 @@ and the relation between the metalanguage and the object language.
organization = {Springer}}
-
+
PhET
University of Colorado
@@ -3609,7 +3624,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-05-27}}
-
+
GFM
Link
GitHub flavored markdown spec
@@ -3621,7 +3636,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-05-10}}
-
+
Cramer
Marcos
@@ -3641,7 +3656,7 @@ and the relation between the metalanguage and the object language.
url = {http://hss.ulb.uni-bonn.de/2013/3390/3390.pdf}}
-
+
Practical graph isomorphism, ii
Journal of Symbolic Computation
@@ -3672,7 +3687,7 @@ and the relation between the metalanguage and the object language.
author = {Brendan D. McKay and Adolfo Piperno}}
-
+
MetTeL2: towards a tableau prover generation platform
Tishkovsky
@@ -3697,7 +3712,7 @@ and the relation between the metalanguage and the object language.
pages = {149}}
-
+
ZRS
Zenodo – research. shared.
Link
@@ -3709,7 +3724,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-04-03}}
-
+
DS
Dataset search
Link
@@ -3721,7 +3736,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-01-25}}
-
+
Fuchs
Norbert E.
@@ -3756,7 +3771,7 @@ and the relation between the metalanguage and the object language.
series = {LOPSTR ’98}}
-
+
Unity realtime development platform
Unity Technologies
@@ -3774,7 +3789,7 @@ and the relation between the metalanguage and the object language.
howpublished = {\url{https://unity.com/}}}
-
+
The syntax and semantics of the forthel language
Paskevich
@@ -3789,7 +3804,7 @@ and the relation between the metalanguage and the object language.
publisher = {Citeseer}}
-
+
TX3
Tobii pro x3–120 eye tracker – product description
Link
@@ -3801,7 +3816,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-03-09}}
-
+
An efficient SQL-based RDF querying scheme
Chong
@@ -3830,7 +3845,7 @@ and the relation between the metalanguage and the object language.
year = {2005}}
-
+
AD
Apache drill – schema-free sql query engine for hadoop, nosql and cloud storage
Link
@@ -3842,7 +3857,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-03-02}}
-
+
Principles of data integration
Doan
@@ -3865,7 +3880,7 @@ and the relation between the metalanguage and the object language.
publisher = {Elsevier}}
-
+
Variable typing: assigning meaning to variables in mathematical text
Stathopoulos
@@ -3904,7 +3919,7 @@ and the relation between the metalanguage and the object language.
abstract = {Information about the meaning of mathematical variables in text is useful in NLP/IR tasks such as symbol disambiguation, topic modeling and mathematical information retrieval (MIR). We introduce \textit{variable typing}, the task of assigning one \textit{mathematical type} (multi-word technical terms referring to mathematical concepts) to each variable in a sentence of mathematical text. As part of this work, we also introduce a new annotated data set composed of 33,524 data points extracted from scientific documents published on arXiv. Our intrinsic evaluation demonstrates that our data set is sufficient to successfully train and evaluate current classifiers from three different model architectures. The best performing model is evaluated on an extrinsic task: MIR, by producing a \textit{typed formula index}. Our results show that the best performing MIR models make use of our typed index, compared to a formula index only containing raw symbols, thereby demonstrating the usefulness of variable typing.}}
-
+
Mathematical information retrieval based on type embeddings and query expansion
Stathopoulos
@@ -3933,7 +3948,7 @@ and the relation between the metalanguage and the object language.
abstract = {We present an approach to mathematical information retrieval (MIR) that exploits a special kind of technical terminology, referred to as a mathematical type. In this paper, we present and evaluate a type detection mechanism and show its positive effect on the retrieval of research-level mathematics. Our best model, which performs query expansion with a type-aware embedding space, strongly outperforms standard IR models with state-of-the-art query expansion (vector space-based and language modelling-based), on a relatively new corpus of research-level queries.}}
-
+
Swanson
Ellen
@@ -3950,7 +3965,7 @@ and the relation between the metalanguage and the object language.
publisher = {AMS}}
-
+
The breqn package
Downes
@@ -3973,7 +3988,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-02-25}}
-
+
UE
Inc.
@@ -3990,7 +4005,7 @@ and the relation between the metalanguage and the object language.
url = {https://www.unrealengine.com/}}
-
+
Deterding
Sebastian
@@ -4037,7 +4052,7 @@ and the relation between the metalanguage and the object language.
keywords = {alternate reality games, game-based technologies, gameful design, gamefulness, games, gamification, pervasive games, play, playful design, playfulness, serious games}}
-
+
FA
Formal abstracts
Link
@@ -4049,7 +4064,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-02-15}}
-
+
OPAM archive for Coq
COA
Link
@@ -4061,7 +4076,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-02-12}}
-
+
HLL
Link
HOL Light library
@@ -4073,7 +4088,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-02-07}}
-
+
ETC
Encyclopedia of triangle centers – ETC
Link
@@ -4085,7 +4100,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-02-07}}
-
+
Israel
David J.
@@ -4104,7 +4119,7 @@ and the relation between the metalanguage and the object language.
url = {https://arxiv.org/pdf/cmp-lg/9406026.pdf}}
-
+
Crafting a Proof Assistant
Asperti
@@ -4146,7 +4161,7 @@ and the relation between the metalanguage and the object language.
pages = {18–32}}
-
+
GU
GNU octave
Link
@@ -4158,7 +4173,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-01-20}}
-
+
MS
Simulation and model-based design – MatLab & Simulink
Link
@@ -4170,7 +4185,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-01-20}}
-
+
The R project for statistical computing
R
Link
@@ -4182,7 +4197,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-01-20}}
-
+
Stan
Stan
Link
@@ -4194,7 +4209,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-01-20}}
-
+
Quinlan
J. Ross
@@ -4217,7 +4232,7 @@ and the relation between the metalanguage and the object language.
pages = {239–266}}
-
+
MGP
The mathematics genealogy project
Link
@@ -4229,7 +4244,7 @@ and the relation between the metalanguage and the object language.
urldate = {2024-01-06}}
-
+
MO
What are some early examples of creation of lists / catalogues of (particularly) combinatorial objects? – mathoverflow
@@ -4246,7 +4261,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-01-09}}
-
+
The plimpton 322 tablet and the babylonian method of generating pythagorean triples
Abdulaziz
@@ -4263,7 +4278,7 @@ and the relation between the metalanguage and the object language.
archiveprefix = {arXiv}}
-
+
Gore
R.
@@ -4297,7 +4312,7 @@ and the relation between the metalanguage and the object language.
pages = {268–287}}
-
+
CSS
All CSS specifications
Link
@@ -4309,7 +4324,7 @@ and the relation between the metalanguage and the object language.
urldate = {2020-01-12}}
-
+
JS
json – JSON encoder and decoder
Link
@@ -4321,7 +4336,7 @@ and the relation between the metalanguage and the object language.
urldate = {2021-04-16}}
-
+
ET
xml.etree.ElementTree – The ElementTree XML API
Link
@@ -4333,7 +4348,7 @@ and the relation between the metalanguage and the object language.
urldate = {2021-04-15}}
-
+
UL
urllib – URL handling modules
Link
@@ -4345,7 +4360,7 @@ and the relation between the metalanguage and the object language.
urldate = {2021-04-15}}
-
+
LXML
Lxml – XML and HTML with python
Link
@@ -4357,7 +4372,7 @@ and the relation between the metalanguage and the object language.
urldate = {2019-12-09}}
-
+
LXML
Lxml api
Link
@@ -4369,7 +4384,7 @@ and the relation between the metalanguage and the object language.
urldate = {2019-12-09}}
-
+
LXML
The lxml.etree tutorial
Link
@@ -4381,7 +4396,7 @@ and the relation between the metalanguage and the object language.
urldate = {2019-12-09}}
-
+
OBO
The obo foundry
Link
@@ -4393,7 +4408,7 @@ and the relation between the metalanguage and the object language.
urldate = {2019-12-13}}
-
+
Computerising mathematical text
Kamareddine
@@ -4420,7 +4435,7 @@ and the relation between the metalanguage and the object language.
crossref = {GabSieWoo:cl14}}
-
+
OOXML
Standard ECMA-376 - Office Open XML File Formats
Link
@@ -4433,7 +4448,7 @@ and the relation between the metalanguage and the object language.
year = {2006}}
-
+
W2X
Writer2xhtml – apache openoffice extensions
2019-12-01
@@ -4445,7 +4460,7 @@ and the relation between the metalanguage and the object language.
url = {https://extensions.openoffice.org/fr/project/writer2xhtml}}
-
+
ILD
Link
7. constraints: interpreting line drawings
@@ -4457,7 +4472,7 @@ and the relation between the metalanguage and the object language.
urldate = {2019-11-19}}
-
+
SWI
SWI Prolog reference manual
Link
@@ -4469,7 +4484,7 @@ and the relation between the metalanguage and the object language.
urldate = {2019-10-10}}
-
+
LPN
Learn prolog now!
Link
@@ -4481,7 +4496,7 @@ and the relation between the metalanguage and the object language.
urldate = {2019-10-10}}
-
+
Flach
Peter
@@ -4498,7 +4513,7 @@ and the relation between the metalanguage and the object language.
url = {https://github.com/simply-logical/simply-logical/releases/download/v1.0/SL.pdf}}
-
+
Prolog :- tutorial
Fisher
@@ -4513,7 +4528,7 @@ and the relation between the metalanguage and the object language.
urldate = {2019-10-10}}
-
+
[https://math-comp.github.io/mcb/book.pdf]
@misc{TasMah:mc:url,
@@ -4521,7 +4536,7 @@ and the relation between the metalanguage and the object language.
howpublished = {\url{https://math-comp.github.io/mcb/book.pdf}}}
-
+
2018-12-18
@online{TasMah:mc,
@@ -4529,7 +4544,7 @@ and the relation between the metalanguage and the object language.
urldate = {2018-12-18}}
-
+
Mahboubi
Assia
@@ -4548,7 +4563,7 @@ and the relation between the metalanguage and the object language.
note = {online book}}
-
+
Lecture capture: practical recommendations for students and lecturers
Link
2018
@@ -4584,7 +4599,7 @@ and the relation between the metalanguage and the object language.
and Peter McGeorge}}
-
+
Link
Vorlesungsaufzeichnungen nutzen: eine anleitung für studierende
2018
@@ -4620,7 +4635,7 @@ and the relation between the metalanguage and the object language.
and Peter McGeorge}}
-
+
Link
2013-04-30
PROV-Overview – an overview of the prov family of documents
@@ -4643,7 +4658,7 @@ and the relation between the metalanguage and the object language.
type = {{W3C} Recommendation}}
-
+
OMG
OMG - object management group
Link
@@ -4655,7 +4670,7 @@ and the relation between the metalanguage and the object language.
urldate = {2019-10-06}}
-
+
Link
CL
Information technology — Common Logic (CL): a framework for a family of logic-based languages
@@ -4672,7 +4687,7 @@ and the relation between the metalanguage and the object language.
year = {2007}}
-
+
DOL
Distributed ontology, model, and specification language specification version 1.0
Link
@@ -4688,7 +4703,7 @@ and the relation between the metalanguage and the object language.
institution = {Object Management Group}}
-
+
DJ
Django – the web framework for perfectionists with deadlines
Link
@@ -4700,7 +4715,7 @@ and the relation between the metalanguage and the object language.
urldate = {2019-08-29}}
-
+
Wenzel
Makarius
@@ -4732,7 +4747,7 @@ and the relation between the metalanguage and the object language.
volume = {8558}}
-
+
Pitts
A.
@@ -4762,7 +4777,7 @@ and the relation between the metalanguage and the object language.
year = {1993}}
-
+
Nipkow
T.
@@ -4783,7 +4798,7 @@ and the relation between the metalanguage and the object language.
year = {1993}}
-
+
Wenzel
Makarius
@@ -4800,7 +4815,7 @@ and the relation between the metalanguage and the object language.
crossref = {CICM19}}
-
+
Gordon
M. J. C.
@@ -4818,7 +4833,7 @@ and the relation between the metalanguage and the object language.
number = {68}}
-
+
ISO
ISO/iec 40314:2016(en) information technology — mathematical markup language (mathml) version 3.0 2nd edition
Link
@@ -4830,7 +4845,7 @@ and the relation between the metalanguage and the object language.
urldate = {2019-08-04}}
-
+
Kahneman
Daniel
@@ -4847,7 +4862,7 @@ and the relation between the metalanguage and the object language.
isbn = {9780141033570}}
-
+
Hayes
Patrick J.
@@ -4885,7 +4900,7 @@ and the relation between the metalanguage and the object language.
publisher = {Morgan Kaufmann}}
-
+
Suppes
Patrick
@@ -4909,7 +4924,7 @@ and the relation between the metalanguage and the object language.
pages = {55–67}}
-
+
Siddique
Umair
@@ -4950,7 +4965,7 @@ and the relation between the metalanguage and the object language.
publisher = {Springer-Verlag}}
-
+
Saxton
David
@@ -4996,7 +5011,7 @@ and the relation between the metalanguage and the object language.
bibsource = {dblp computer science bibliography, https://dblp.org}}
-
+
Link
AI ain’t no a student: deepmind nearly flunks high school math
2019-06-04
@@ -5006,7 +5021,7 @@ and the relation between the metalanguage and the object language.
urldate = {2019-06-04}}
-
+
Bibel
Wolfgang
@@ -5046,7 +5061,7 @@ and the relation between the metalanguage and the object language.
publisher = {Springer}}
-
+
Bibel
Wolfgang
@@ -5071,7 +5086,7 @@ and the relation between the metalanguage and the object language.
url = {https://www.deutsches-museum.de/verlag/aus-der-forschung/preprint/}}
-
+
Handbook of logic in artificial intelligence and logic programming
Oxford University Press
1991
@@ -5096,7 +5111,7 @@ and the relation between the metalanguage and the object language.
address = {Oxford}}
-
+
Norell
Ulf
@@ -5112,7 +5127,7 @@ and the relation between the metalanguage and the object language.
year = {2007}}
-
+
2019-04-12
@online{AgdaWiki:on,
@@ -5120,7 +5135,7 @@ and the relation between the metalanguage and the object language.
urldate = {2019-04-12}}
-
+
[http://wiki.portal.chalmers.se/agda]
@misc{AgdaWiki:url,
@@ -5128,7 +5143,7 @@ and the relation between the metalanguage and the object language.
howpublished = {\url{http://wiki.portal.chalmers.se/agda}}}
-
+
Norell
Ulf.
@@ -5141,7 +5156,7 @@ and the relation between the metalanguage and the object language.
url = {http://wiki.portal.chalmers.se/agda}}
-
+
Norell
Ulf
@@ -5220,7 +5235,7 @@ in Agda.
series = {TLDI '09}}
-
+
Carette
Jacques
@@ -5266,7 +5281,7 @@ in Agda.
url = {http://arxiv.org/abs/1106.1862}}
-
+
MNB
Link
Wolfram notebooks
@@ -5278,7 +5293,7 @@ in Agda.
urldate = {2019-03-29}}
-
+
Link
Metric math mistake muffed mars meteorology mission
2019-06-04
@@ -5288,7 +5303,7 @@ in Agda.
urldate = {2019-06-04}}
-
+
Fibonacci’s liber abaci: a translation into modern english of leonardo pisano’s book of calculation
Sigler
@@ -5303,7 +5318,7 @@ in Agda.
publisher = {Springer}}
-
+
Brinkmann
Gunnar
@@ -5349,7 +5364,7 @@ in Agda.
doi = {10.1016/j.dam.2012.07.018}}
-
+
808746
New York, NY, USA
@@ -5388,7 +5403,7 @@ in Agda.
year = {1983}}
-
+
MLB
MATLAB
Link
@@ -5400,7 +5415,7 @@ in Agda.
urldate = {2019-01-25}}
-
+
MPS
MUltifrontal massively parallel sparse direct solver
Link
@@ -5412,7 +5427,7 @@ in Agda.
urldate = {2019-01-25}}
-
+
LPK
LAPACK — linear algebra package
Link
@@ -5424,7 +5439,7 @@ in Agda.
urldate = {2019-01-25}}
-
+
SCT
SNOMED clinical terms
Link
@@ -5436,7 +5451,7 @@ in Agda.
urldate = {2019-01-25}}
-
+
OBI
Ontology for biomedical investigations
Link
@@ -5448,7 +5463,7 @@ in Agda.
urldate = {2019-01-25}}
-
+
SUMO
Suggested upper merged ontology
Link
@@ -5460,7 +5475,7 @@ in Agda.
urldate = {2019-01-25}}
-
+
SDB
SageMath databases
Link
@@ -5472,7 +5487,7 @@ in Agda.
urldate = {2019-01-25}}
-
+
FAIR
on FAIR Data
@@ -5489,7 +5504,7 @@ in Agda.
doi = {10.2777/1524}}
-
+
FAIR
FAIR principles
Link
@@ -5499,7 +5514,7 @@ in Agda.
url = {https://www.go-fair.org/fair-principles/}}
-
+
RR
RADAR
Link
@@ -5511,7 +5526,7 @@ in Agda.
urldate = {2019-01-25}}
-
+
GDML
GDML
Link
@@ -5523,7 +5538,7 @@ in Agda.
urldate = {2019-01-28}}
-
+
Wanless
Ian
@@ -5538,7 +5553,7 @@ in Agda.
urldate = {2019-01-25}}
-
+
Royle
Gordon
@@ -5553,7 +5568,7 @@ in Agda.
urldate = {2019-01-25}}
-
+
McKay
Brendan
@@ -5568,7 +5583,7 @@ in Agda.
urldate = {2019-01-25}}
-
+
GGS
Gender gap in science
Link
@@ -5580,7 +5595,7 @@ in Agda.
urldate = {2019-02-24}}
-
+
DG
Digraph6 file format incompatibility
Link
@@ -5592,7 +5607,7 @@ in Agda.
urldate = {2019-01-25}}
-
+
Beule
Jan De
@@ -5623,7 +5638,7 @@ in Agda.
urldate = {2019-01-25}}
-
+
McF
McKay
@@ -5640,7 +5655,7 @@ in Agda.
urldate = {2019-03-22}}
-
+
McKay
Brendan
@@ -5655,7 +5670,7 @@ in Agda.
urldate = {2019-01-25}}
-
+
ODAP
OPenNDAP - advanced software for remote data retrieval
Link
@@ -5667,7 +5682,7 @@ in Agda.
urldate = {2019-01-25}}
-
+
Ziemann
Mark
@@ -5700,7 +5715,7 @@ in Agda.
doi = {10.1186/s13059-016-1044-7}}
-
+
DC
Link
2019-01-25
@@ -5712,7 +5727,7 @@ in Agda.
title = {Data Carpentry – Building Communities Teaching Universal Data Literacy}}
-
+
AG
Leemans
@@ -5729,13 +5744,13 @@ in Agda.
urldate = {2019-01-25}}
-
+
UL
Malandro
Martin
- Unlabeled lattices on
-
+
FL
Kohonen
@@ -5771,7 +5786,7 @@ in Agda.
urldate = {2019-01-25}}
-
+
DZ
Vidali
@@ -5788,7 +5803,7 @@ in Agda.
urldate = {2019-01-24}}
-
+
DZ
Berčič
@@ -5805,7 +5820,7 @@ in Agda.
urldate = {2019-01-24}}
-
+
Cerinšek
Monika
@@ -5843,7 +5858,7 @@ in Agda.
bibsource = {dblp computer science bibliography, https://dblp.org}}
-
+
Potočnik
Primož
@@ -5890,7 +5905,7 @@ in Agda.
url = {https://doi.org/10.1090/S0002-9947-2014-05992-8}}
-
+
Potočnik
Primož
@@ -5933,24 +5948,24 @@ in Agda.
mrreviewer = {Wei Jin}}
-
+
Potočnik
Primož
- A list of 4-valent 2-arc-transitive graphs and finite faithful amalgams of index