The GDML and EuKIM Projects: Short Report on the Initiative [chapter]

Bruno Buchberger
2016 Lecture Notes in Computer Science  
We give a report on the EuKIM project, which was recently submitted to the EU Horizon 2020 program, INFRAIA-02-2017 (Integrating Activities for Starting Communities) topic, by a consortium of twelve European research groups. The project aims at building up a "Global Digital Math Library" (knowledge base) integrating and extending current efforts worldwide. A central part of the project is the design and implementation of a software system that organizes open and onestop access to mathematical
more » ... owledge and to various tools for processing mathematical knowledge. Recent progress in automated reasoning is an important issue for achieving more sophisticated levels in this endeavor.
doi:10.1007/978-3-319-42432-3_56 fatcat:sgmdskxhijegno52sd54wbhdnm