The GDML and EuKIM Projects: Short Report on the Initiative
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 one-stop access to mathematical knowledge 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.
- The Global Digital Mathematics Library Working Group. International Mathematical Knowledge Trust Charter (2016). http://mathontheweb.org/gdml/IMKT-Charter-final.pdf