Mihnea Iancu

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 2

Top Topics

Declarative Language

Knowledge Resources

Mathematical Knowledge

Top Venues

AISC/MKM/Calculemus

Publications

Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Akbar Oripov, Jürgen Schefter, Wolfram Sperber, Olaf Teschke, Tom Wiesing
The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics. ICMS (2016)
Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Tom Wiesing
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CICM (2016)
Mihnea Iancu, Michael Kohlhase
A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics. CICM (2015)
Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Jürgen Schefter, Wolfram Sperber
The SMGloM Project and System. CICM (Work in Progress) (2015)
Mihnea Iancu, Michael Kohlhase
Math Literate Knowledge Management via Induced Material. CICM (2015)
Enxhell Luzhnica, Mihnea Iancu, Michael Kohlhase
Importing the OEIS Library Into OMDoc. LWA (2015)
Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing
System Description: MathHub.info. CICM (2014)
Michael Kohlhase, Mihnea Iancu
Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs. ICMS (2014)
Mihnea Iancu, Michael Kohlhase, Corneliu-Claudiu Prodescu
Representing, Archiving, and Searching the Space of Mathematical Knowledge. ICMS (2014)
Mihnea Iancu, Michael Kohlhase, Florian Rabe, Josef Urban
The Mizar Mathematical Library in OMDoc: Translation and Applications. J. Autom. Reason. 50 (2) (2013)
Mihnea Iancu, Felix Mance, Florian Rabe
The Scala-REPL + MMT as a lightweight mathematical user interface. CICM Workshops (2013)
Mihnea Iancu, Florian Rabe
Management of Change in Declarative Languages. AISC/MKM/Calculemus (2012)
Mihnea Iancu, Florian Rabe
Formalising foundations of mathematics. Math. Struct. Comput. Sci. 21 (4) (2011)