The Mizar mathematical library in OMDoc: translation and applications M Iancu, M Kohlhase, F Rabe, J Urban Journal of Automated Reasoning 50 (2), 191-202, 2013 | 55 | 2013 |
Interoperability in the OpenDreamKit project: the math-in-the-middle approach PO Dehaye, M Iancu, M Kohlhase, A Konovalov, S Lelièvre, D Müller, ... International Conference on Intelligent Computer Mathematics, 117-131, 2016 | 37 | 2016 |
Formalising foundations of mathematics M Iancu, F Rabe Mathematical Structures in Computer Science 21 (4), 883-911, 2011 | 25 | 2011 |
System Description: MathHub.info M Iancu, C Jucovschi, M Kohlhase, T Wiesing Intelligent Computer Mathematics, 431-434, 2014 | 24 | 2014 |
Towards flexiformal mathematics M Iancu IRC-Library, Information Resource Center der Jacobs University Bremen, 2017 | 17 | 2017 |
The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics D Ginev, M Iancu, C Jucovshi, A Kohlhase, M Kohlhase, A Oripov, ... International Congress on Mathematical Software, 451-457, 2016 | 15 | 2016 |
Management of change in declarative languages M Iancu, F Rabe International Conference on Intelligent Computer Mathematics, 326-341, 2012 | 14 | 2012 |
Translating the Mizar Mathematical Library into OMDoc format M Iancu, M Kohlhase, F Rabe KWARC report, Jacobs University Bremen, 2011 | 12 | 2011 |
Representing, archiving, and searching the space of mathematical knowledge M Iancu, M Kohlhase, C Prodescu International Congress on Mathematical Software, 26-30, 2014 | 10 | 2014 |
Co-Representing Structure and Meaning of Mathematical Documents M Kohlhase, M Iancu Sprache und Datenverarbeitung, International Journal for Language Data …, 2014 | 5 | 2014 |
Work-in-progress: An MMT-Based User-Interface M Iancu, F Rabe Workshop on User Interfaces for Theorem Provers, 2012 | 5 | 2012 |
Math literate knowledge management via induced material M Iancu, M Kohlhase Conferences on Intelligent Computer Mathematics, 187-202, 2015 | 3 | 2015 |
Searching the Space of Mathematical Knowledge M Kohlhase, M Iancu DML and MIR, 2012 | 3 | 2012 |
Mixing surface languages for OMDoc M Iancu, M Kohlhase, F Rabe, H Yuan | 2 | |
A flexiformal model of knowledge dissemination and aggregation in mathematics M Iancu, M Kohlhase International Conference on Intelligent Computer Mathematics, 137-152, 2015 | 1 | 2015 |
Importing the OEIS Library Into OMDoc. E Luzhnica, M Iancu, M Kohlhase LWA, 296-303, 2015 | 1 | 2015 |
Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs M Kohlhase, M Iancu International Congress on Mathematical Software, 36-40, 2014 | 1 | 2014 |
The SMGloM Project and System D Ginev, M Iancu, C Jucovshi, A Kohlhase, M Kohlhase, H Kröger, ... submitted to CICM, 2014 | 1 | 2014 |
A Formalized Set-Theoretical Semantics of Isabelle/HOL F Rabe, M Iancu Under review, see http://kwarc. info/frabe/Research/rabeEA_isabelle_ 10, 0 | 1 | |
The Scala-REPL+ MMT as a lightweight mathematical user interface. M Iancu, F Mance, F Rabe CICM Workshops, 2013 | | 2013 |