Mihnea Iancu

According to our database, Mihnea Iancu authored at least 13 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

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

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

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

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

Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Akbar Oripov, Jürgen Schefter, Wolfram Sperber, Olaf Teschke, Tom Wiesing

Proceedings of the Mathematical Software - ICMS 2016, 2016

2015

Math Literate Knowledge Management via Induced Material.

Mihnea Iancu, Michael Kohlhase

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics.

Mihnea Iancu, Michael Kohlhase

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

The SMGloM Project and System.

Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Jürgen Schefter, Wolfram Sperber

Proceedings of the CICM 2015, 2015

Importing the OEIS Library Into OMDoc.

Enxhell Luzhnica, Mihnea Iancu, Michael Kohlhase

Proceedings of the LWA 2015 Workshops: KDML, 2015

2014

System Description: MathHub.info.

Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

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

Michael Kohlhase, Mihnea Iancu

Proceedings of the Mathematical Software - ICMS 2014, 2014

Representing, Archiving, and Searching the Space of Mathematical Knowledge.

Mihnea Iancu, Michael Kohlhase, Corneliu-Claudiu Prodescu

Proceedings of the Mathematical Software - ICMS 2014, 2014

2013

The Mizar Mathematical Library in OMDoc: Translation and Applications.

Mihnea Iancu, Michael Kohlhase, Florian Rabe, Josef Urban

J. Autom. Reason., 2013

The Scala-REPL + MMT as a lightweight mathematical user interface.

Mihnea Iancu, Felix Mance, Florian Rabe

Proceedings of the Joint Proceedings of the MathUI, 2013

2012

Management of Change in Declarative Languages.

Mihnea Iancu, Florian Rabe

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Formalising foundations of mathematics.

Mihnea Iancu, Florian Rabe

Math. Struct. Comput. Sci., 2011