Knowledge-Based Interoperability for Mathematical Software Systems

DOI10.1007/978-3-319-72453-9_14zbMath1497.68551OpenAlexW2778528620WikidataQ57389274 ScholiaQ57389274MaRDI QIDQ4628490

Markus Pfeiffer, Dennis Müller, Florian Rabe, Tom Wiesing, Michael Kohlhase, Luca De Feo, Nicolas Marc Thiéry, V. V. Vasil'yev

Publication date: 14 March 2019

Published in: Mathematical Aspects of Computer and Information Sciences (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10023/12491

Mathematics Subject Classification ID

Mathematical knowledge management (68V30) Digital mathematics libraries and repositories (68V35)

Uses Software

• GAP
• SageMath
• SINGULAR
• MMT
• OMDoc
• OpenDreamKit
• Jupyter
• MathInTheMiddle

This page was built for publication: Knowledge-Based Interoperability for Mathematical Software Systems