The Mizar Mathematical Library in OMDoc: Translation and Applications
Iancu, Mihnea, Kohlhase, Michael, Rabe, Florian, Urban, Josef
Published in Journal of automated reasoning (01.02.2013)
Published in Journal of automated reasoning (01.02.2013)
Get full text
Journal Article
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
Dehaye, Paul-Olivier, Iancu, Mihnea, Kohlhase, Michael, Konovalov, Alexander, Lelièvre, Samuel, Müller, Dennis, Pfeiffer, Markus, Rabe, Florian, Thiéry, Nicolas M., Wiesing, Tom
Published in Intelligent Computer Mathematics
Published in Intelligent Computer Mathematics
Get full text
Book Chapter