Mihnea Iancu

Available identifiers

Publication	Date of Publication	Type
The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics	2016-09-28	Paper
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach	2016-08-30	Paper
A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics	2015-11-20	Paper
Math Literate Knowledge Management via Induced Material	2015-11-20	Paper
Representing, Archiving, and Searching the Space of Mathematical Knowledge	2014-09-08	Paper
Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs	2014-09-08	Paper
System Description: MathHub.info	2014-08-07	Paper
The Mizar Mathematical Library in OMDoc: translation and applications	2013-04-17	Paper
Management of Change in Declarative Languages	2012-09-07	Paper
Formalising foundations of mathematics	2011-10-21	Paper

This page was built for person: Mihnea Iancu