Search filters

List of works by Mihnea Iancu

A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics

article

Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs

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

Math Literate Knowledge Management via Induced Material

Representing, Archiving, and Searching the Space of Mathematical Knowledge

System Description: MathHub.info

The Mizar Mathematical Library in OMDoc: Translation and Applications

The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics

Paulina is supported by:

About Paulina

Help