default search action

combined dblp search
author search
venue search
publication search

ask others

Mihnea Iancu

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2017
[b1]
- view
  - electronic edition @ nbn-resolving.org
  - details & citations
  authority control:
- export record
  dblp key:
  - phd/basesearch/Iancu17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Iancu17
Mihnea Iancu:
Towards Flexiformal Mathematics. Jacobs University Bremen, Germany, 2017
2016
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icms/GinevIJKKOSSTW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/GinevIJKKOSSTW16
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: 451-457
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/DehayeIKKLMPRTW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/DehayeIKKLMPRTW16
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: 117-131
2015
[c8]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/lwa/LuzhnicaIK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lwa/LuzhnicaIK15
Enxhell Luzhnica, Mihnea Iancu, Michael Kohlhase:
Importing the OEIS Library Into OMDoc. LWA 2015: 296-303
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/IancuK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/IancuK15
Mihnea Iancu, Michael Kohlhase:
A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics. CICM 2015: 137-152
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/IancuK15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/IancuK15a
Mihnea Iancu, Michael Kohlhase:
Math Literate Knowledge Management via Induced Material. CICM 2015: 187-202
[i1]
- view
  - electronic edition @ cicm-conference.org
  - details & citations
- export record
  dblp key:
  - conf/mkm/GinevIJKKSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/GinevIJKKSS15
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: 25-28
2014
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icms/IancuKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/IancuKP14
Mihnea Iancu, Michael Kohlhase, Corneliu-Claudiu Prodescu:
Representing, Archiving, and Searching the Space of Mathematical Knowledge. ICMS 2014: 26-30
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icms/KohlhaseI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/KohlhaseI14
Michael Kohlhase, Mihnea Iancu:
Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs. ICMS 2014: 36-40
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/IancuJKW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/IancuJKW14
Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing:
System Description: MathHub.info. CICM 2014: 431-434
2013
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/IancuKRU13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/IancuKRU13
Mihnea Iancu, Michael Kohlhase, Florian Rabe, Josef Urban:
The Mizar Mathematical Library in OMDoc: Translation and Applications. J. Autom. Reason. 50(2): 191-202 (2013)
[c2]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/mkm/Iancu13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Iancu13
Mihnea Iancu, Felix Mance, Florian Rabe:
The Scala-REPL + MMT as a lightweight mathematical user interface. CICM Workshops 2013
2012
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/aisc/IancuR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aisc/IancuR12
Mihnea Iancu, Florian Rabe:
Management of Change in Declarative Languages. AISC/MKM/Calculemus 2012: 326-341
2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/IancuR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/IancuR11
Mihnea Iancu, Florian Rabe:
Formalising foundations of mathematics. Math. Struct. Comput. Sci. 21(4): 883-911 (2011)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.