The GDML and EuKIM Projects: Short Report on the Initiative

DOI10.1007/978-3-319-42432-3_56zbMath1434.68652OpenAlexW2482133373MaRDI QIDQ2819256

Bruno Buchberger

Publication date: 28 September 2016

Published in: Mathematical Software – ICMS 2016 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-42432-3_56

Mathematics Subject Classification ID

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

Uses Software

• Unnamed Item
• Unnamed Item
• Unnamed Item

Cites Work

• Isabelle/HOL. A proof assistant for higher-order logic
• A Coq Library for Verification of Concurrent Programs

This page was built for publication: The GDML and EuKIM Projects: Short Report on the Initiative