Mihnea Iancu

14 papers C 4Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2017 — —
Towards Flexiformal Mathematics
Mihnea Iancu
2016 C conf
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.
CICM
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
2016 — conf
The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics.
ICMS
Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Akbar Oripov, Jürgen Schefter, Wolfram Sperber, Olaf Teschke, Tom Wiesing
2015 C conf
A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics.
CICM
Mihnea Iancu, Michael Kohlhase
2015 — conf
Importing the OEIS Library Into OMDoc.
LWA
Enxhell Luzhnica, Mihnea Iancu, Michael Kohlhase
2015 C conf
Math Literate Knowledge Management via Induced Material.
CICM
Mihnea Iancu, Michael Kohlhase
2015 — conf
The SMGloM Project and System.
CICM (Work in Progress)
Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Jürgen Schefter, Wolfram Sperber
2014 — conf
Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs.
ICMS
Michael Kohlhase, Mihnea Iancu
2014 — conf
Representing, Archiving, and Searching the Space of Mathematical Knowledge.
ICMS
Mihnea Iancu, Michael Kohlhase, Corneliu-Claudiu Prodescu
2014 C conf
System Description: MathHub.info.
CICM
Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing
2013 J jnl
The Mizar Mathematical Library in OMDoc: Translation and Applications.
J. Autom. Reason.
Mihnea Iancu, Michael Kohlhase, Florian Rabe, Josef Urban
2013 — conf
The Scala-REPL + MMT as a lightweight mathematical user interface.
CICM Workshops
Mihnea Iancu, Felix Mance, Florian Rabe
2012 — conf
Management of Change in Declarative Languages.
AISC/MKM/Calculemus
Mihnea Iancu, Florian Rabe
2011 J jnl
Formalising foundations of mathematics.
Math. Struct. Comput. Sci.
Mihnea Iancu, Florian Rabe