| Publication | Date of Publication | Type |
|---|
| Reusing learning objects via theory morphisms | 2024-12-04 | Paper |
| 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 |
| Representing structural language features in formal meta-languages | 2021-01-20 | 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 |
| TGView3D: a system for 3-dimensional visualization of theory graphs | 2021-01-20 | Paper |
| Relational data across mathematical libraries | 2020-01-22 | Paper |
| Towards a unified mathematical data infrastructure: database and interface generation | 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 |
| \(\Omega\)\textsc{mega}: towards a mathematical assistant | 2019-10-01 | Paper |
| A colored version of the \(\lambda\)-calculus | 2019-10-01 | Paper |
| QED reloaded: towards a pluralistic formal library of mathematical knowledge | 2019-09-18 | Paper |
| Virtual theories -- a uniform interface to mathematical knowledge bases | 2019-03-14 | Paper |
| Knowledge-based interoperability for mathematical software systems | 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 |
| 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 |
| Visual structure in mathematical expressions | 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 of 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 |
| System description: a semantics-aware LaTeX-to-office converter | 2014-08-07 | Paper |
| System description: MathHub.info | 2014-08-07 | Paper |
| Flexary operators for formalized mathematics | 2014-08-07 | Paper |
| Realms: a structure for consolidating knowledge about mathematical theories | 2014-08-07 | Paper |
| A data model and encoding for a semantic, multilingual terminology of mathematics | 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 |
| MathWebSearch 0.5: Scaling an Open Formula Search Engine | 2012-09-07 | Paper |
| Reimplementing the mathematics subject classification (MSC) as a linked open dataset | 2012-09-07 | Paper |
| Extending MKM formats at the statement level | 2012-09-07 | Paper |
| Semantic alliance: a framework for semantic allies | 2012-09-07 | Paper |
| The Planetary project: towards eMath3.0 | 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 |
| 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 |
| Licensing the Mizar Mathematical Library (MML) | 2011-07-29 | Paper |
| A foundational view on integration problems | 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 |
| Towards MKM in the large: modular representation and scalable software architecture | 2010-08-24 | Paper |
| Dimensions of formality: a case study for MKM in software engineering | 2010-08-24 | Paper |
| Towards context-based disambiguation of mathematical expressions | 2010-03-10 | Paper |
| MathML-aware article conversion from LaTeX a comparison study | 2009-10-26 | Paper |
| Using La\TeX\ as a semantic markup format | 2009-09-18 | Paper |
| Spreadsheet Interaction with Frames: Exploring a Mathematical Practice | 2009-07-09 | Paper |
| Unifying Math Ontologies: A Tale of Two Standards | 2009-07-09 | Paper |
| A Mathematical Approach to Ontology Authoring and Documentation | 2009-07-09 | Paper |
| Compensating the Computational Bias of Spreadsheets with MKM Techniques | 2009-07-09 | Paper |
| Cut-Simulation and Impredicativity | 2009-04-29 | Paper |
| Cut-Simulation in Impredicative Logics | 2009-03-12 | Paper |
| Transforming the arχiv to XML | 2009-01-27 | Paper |
| Notations for Living Mathematical Documents | 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 |
| Communities of Practice in MKM: An Extensional Model | 2007-09-05 | Paper |
| Capturing the Content of Physics: Systems, Observables, and Experiments | 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 |
| Communication protocols for mathematical services based on KQML and OMRS | 2002-06-13 | Paper |
| Formal representation issues in an open mathematical knowledge base. (Extended abstract) | 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 |
