Author of the publication

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.

, , , , , , , , , and . CICM, volume 9791 of Lecture Notes in Computer Science, page 117-131. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Disambiguating Symbolic Expressions in Informal Documents., and . ICLR, OpenReview.net, (2021)Representing Structural Language Features in Formal Meta-languages., , , and . CICM, volume 12236 of Lecture Notes in Computer Science, page 206-221. Springer, (2020)Structuring Theories with Implicit Morphisms., and . WADT, volume 11563 of Lecture Notes in Computer Science, page 154-173. Springer, (2018)Learning Support Systems Based on Mathematical Knowledge Management., , , , , and . CICM, volume 14101 of Lecture Notes in Computer Science, page 84-97. Springer, (2023)Modelling Epidermal Homeostasis as an Approach for Clinical Bioinformatics., , , , , and . MIE, volume 124 of Studies in Health Technology and Informatics, page 105-110. IOS Press, (2006)The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems., , , , , , and . CoRR, (2020)An Interactive Explanatory AI System for Industrial Quality Control., , , and . AAAI, page 12580-12586. AAAI Press, (2022)Relational Data Across Mathematical Libraries., , , , , and . CICM, volume 11617 of Lecture Notes in Computer Science, page 61-76. Springer, (2019)Ontology Population Framework of MAGNETO for Instantiating Heterogeneous Forensic Data Modalities., , , , , , , , , and . AIAI, volume 559 of IFIP Advances in Information and Communication Technology, page 520-531. Springer, (2019)HD Lane Map Generation Based on Trail Map Aggregation., , and . IV, page 600-606. IEEE, (2022)