Autor der Publikation

Prototyping Controlled Mathematical Languages in Jupyter Notebooks.

, , und . ICMS, Volume 12097 von Lecture Notes in Computer Science, Seite 406-415. Springer, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Prototyping Controlled Mathematical Languages in Jupyter Notebooks., , und . ICMS, Volume 12097 von Lecture Notes in Computer Science, Seite 406-415. Springer, (2020)GF + MMT = GLF - From Language to Semantics through LF., und . LFMTP@LICS, Volume 307 von EPTCS, Seite 24-39. (2019)System Description: sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents (short paper)., , und . CICM Workshops, Volume 3377 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)Logic-Independent Proof Search in Logical Frameworks - (Short Paper)., , , und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 395-401. Springer, (2020)GLIF: A Declarative Framework for Symbolic Natural Language Understanding., und . FCR@KI, Volume 2680 von CEUR Workshop Proceedings, Seite 4-11. CEUR-WS.org, (2020)Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper)., und . CICM Workshops, Volume 2307 von CEUR Workshop Proceedings, CEUR-WS.org, (2018)Towards an Annotation Standard for STEM Documents - Datasets, Benchmarks, and Spotters., und . CICM, Volume 14101 von Lecture Notes in Computer Science, Seite 190-205. Springer, (2023)