Concepedia

Mihnea Iancu

MI

Statistics

Publications

2

Citations

62

H-Index

2

Active since

2011

Affiliations

Constructor University(Current)

Mihnea Iancu is an author at Constructor University specializing in engineering, formal methods, and automated reasoning.

Top concepts

SemanticsEngineeringFormal MethodsAutomated ReasoningFormal VerificationMathematics TeachingMathematical FoundationsMathematical Programming

Publications per year

2011–2012

2

Publications

2

The Mizar Mathematical Library in OMDoc: Translation and Applications

Mihnea Iancu, Michael Kohlhase, Florian Rabe et al. · Journal of Automated Reasoning · 2012 · 48 citations · Full text

Mathematical Programming, Computer Algebra, Mathematical Model +2

Formalising foundations of mathematics

Mihnea Iancu, Florian Rabe · Mathematical Structures in Computer Science · 2011 · 14 citations

Formal Notation, Mathematics Education, Engineering +13

1–2 of 2