| Publication | Date of Publication | Type |
|---|
| Learning support systems based on mathematical knowledge management | 2024-02-28 | Paper |
| Towards an annotation standard for STEM documents. Datasets, benchmarks, and spotters | 2024-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6079227 | 2023-10-27 | Paper |
| Injecting formal mathematics into LaTeX | 2023-06-02 | Paper |
| System description STEX3 -- a \LaTeX-based ecosystem for semantic/active mathematical documents | 2023-06-02 | Paper |
| Logic-independent proof search in logical frameworks (short paper) | 2022-11-09 | Paper |
| Experiences from exporting major proof assistant libraries | 2022-01-21 | Paper |
| Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge | 2021-04-19 | Paper |
| Towards a heterogeneous query language for mathematical knowledge | 2021-01-20 | Paper |
| FrameIT: detangling knowledge management from game design in serious games | 2021-01-20 | Paper |
| Representing structural language features in formal meta-languages | 2021-01-20 | Paper |
| TGView3D: a system for 3-dimensional visualization of theory graphs | 2021-01-20 | Paper |
| Towards a unified mathematical data infrastructure: database and interface generation | 2020-01-22 | Paper |
| Relational data across mathematical libraries | 2020-01-22 | Paper |
| Integrating semantic mathematical documents and dynamic notebooks | 2020-01-22 | Paper |
| A mechanization of strong Kleene logic for partial functions | 2020-01-21 | Paper |
| Unification in an extensional lambda calculus with ordered function sorts and constant overloading | 2020-01-21 | Paper |
| Ωmega: Towards a mathematical assistant | 2019-10-01 | Paper |
| A colored version of the λ-calculus | 2019-10-01 | Paper |
| QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge | 2019-09-18 | Paper |
| Knowledge-Based Interoperability for Mathematical Software Systems | 2019-03-14 | Paper |
| Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases | 2019-03-14 | Paper |
| Translating the IMPS theory library to MMT/OMDoc | 2018-10-18 | Paper |
| Discourse phenomena in mathematical documents | 2018-10-18 | Paper |
| Automatically finding theory morphisms for knowledge management | 2018-10-18 | Paper |
| Knowledge amalgamation for computational science and engineering | 2018-10-18 | Paper |
| Theories as types | 2018-10-18 | Paper |
| Reasoning without believing: on the mechanisation of presuppositions and partiality | 2018-08-28 | Paper |
| Making PVS accessible to generic services by interpretation in a universal format | 2018-01-04 | Paper |
| Visual structure in mathematical expressions | 2017-07-21 | Paper |
| Mathematical models as research data via flexiformal theory graphs | 2017-07-21 | Paper |
| Classification of alignments between concepts of formal mathematical systems | 2017-07-21 | Paper |
| Software citations, information systems, and beyond | 2017-07-21 | Paper |
| The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics | 2016-09-28 | Paper |
| Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences | 2016-09-28 | Paper |
| Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach | 2016-08-30 | Paper |
| Faceted Search for Mathematics | 2016-05-25 | Paper |
| A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics | 2015-11-20 | Paper |
| Math Literate Knowledge Management via Induced Material | 2015-11-20 | Paper |
| Mathematical knowledge management: transcending the one-brain-barrier with theory graphs | 2015-01-02 | Paper |
| Representing, Archiving, and Searching the Space of Mathematical Knowledge | 2014-09-08 | Paper |
| Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs | 2014-09-08 | Paper |
| A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics | 2014-08-07 | Paper |
| Realms: A Structure for Consolidating Knowledge about Mathematical Theories | 2014-08-07 | Paper |
| Flexary Operators for Formalized Mathematics | 2014-08-07 | Paper |
| System Description: MathHub.info | 2014-08-07 | Paper |
| System Description: A Semantics-Aware to-Office Converter | 2014-08-07 | Paper |
| Mathematical formula search | 2014-01-21 | Paper |
| A scalable module system | 2014-01-10 | Paper |
| A Universal Machine for Biform Theory Graphs | 2013-08-09 | Paper |
| Semantics of \textsc{OpenMath} and \textsc{MathML3} | 2013-04-24 | Paper |
| The Mizar Mathematical Library in OMDoc: translation and applications | 2013-04-17 | Paper |
| Semantic Alliance: A Framework for Semantic Allies | 2012-09-07 | Paper |
| Extending MKM Formats at the Statement Level | 2012-09-07 | Paper |
| MathWebSearch 0.5: Scaling an Open Formula Search Engine | 2012-09-07 | Paper |
| The Planetary Project: Towards eMath3.0 | 2012-09-07 | Paper |
| Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset | 2012-09-07 | Paper |
| A Proof Theoretic Interpretation of Model Theoretic Hiding | 2012-06-08 | Paper |
| Towards Logical Frameworks in the Heterogeneous Tool Set Hets | 2012-06-08 | Paper |
| A Foundational View on Integration Problems | 2011-07-29 | Paper |
| Licensing the Mizar Mathematical Library | 2011-07-29 | Paper |
| Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics | 2011-07-29 | Paper |
| Combining Source, Content, Presentation, Narration, and Relational Representation | 2011-07-29 | Paper |
| Project Abstract: Logic Atlas and Integrator (LATIN) | 2011-07-29 | Paper |
| The LaTeXML Daemon: Editable Math on the Collaborative Web | 2011-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086775 | 2011-03-30 | Paper |
| Transforming large collections of scientific publications to XML | 2011-02-19 | Paper |
| An Integrated Development Environment for Collections | 2010-08-24 | Paper |
| Dimensions of Formality: A Case Study for MKM in Software Engineering | 2010-08-24 | Paper |
| Towards MKM in the Large: Modular Representation and Scalable Software Architecture | 2010-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5188255 | 2010-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3185224 | 2009-10-26 | Paper |
| Using La\TeX\ as a semantic markup format | 2009-09-18 | Paper |
| Unifying Math Ontologies: A Tale of Two Standards | 2009-07-09 | Paper |
| Spreadsheet Interaction with Frames: Exploring a Mathematical Practice | 2009-07-09 | Paper |
| Compensating the Computational Bias of Spreadsheets with MKM Techniques | 2009-07-09 | Paper |
| A Mathematical Approach to Ontology Authoring and Documentation | 2009-07-09 | Paper |
| Cut-Simulation and Impredicativity | 2009-04-29 | Paper |
| Cut-Simulation in Impredicative Logics | 2009-03-12 | Paper |
| Notations for Living Mathematical Documents | 2009-01-27 | Paper |
| Transforming the arχiv to XML | 2009-01-27 | Paper |
| A Search Engine for Mathematical Formulae | 2009-01-15 | Paper |
| Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch | 2007-11-28 | Paper |
| Extended Formula Normalization for ε-Retrieval and Sharing of Mathematical Knowledge | 2007-11-28 | Paper |
| Capturing the Content of Physics: Systems, Observables, and Experiments | 2007-09-05 | Paper |
| Communities of Practice in MKM: An Extensional Model | 2007-09-05 | Paper |
| Mathematical Knowledge Management | 2007-02-12 | Paper |
| Higher-order semantics and extensionality | 2005-08-29 | Paper |
| Mathematical Knowledge Management | 2005-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809049 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809051 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471938 | 2004-07-30 | Paper |
| Resource-Adaptive Model Generation as a Performance Model | 2004-03-07 | Paper |
| Higher-Order Multi-Valued Resolution | 2004-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413891 | 2003-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2751535 | 2002-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767925 | 2002-02-14 | Paper |
| MBase: Representing knowledge and context for the integration of mathematical software systems | 2002-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524794 | 2001-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723443 | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499153 | 2001-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520772 | 2001-02-27 | Paper |
| Managing structural information by higher-order colored unification | 2000-10-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249891 | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255519 | 1999-08-16 | Paper |
| Integrating computer algebra into proof planning | 1999-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885908 | 1996-07-28 | Paper |
