Paper Info
Title
The GDML and EuKIM Projects: Short Report on the Initiative.
Abstract
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.
Year
DOI
Venue
2016
10.1007/978-3-319-42432-3_56
Lecture Notes in Computer Science
Field
DocType
Volume
Automated reasoning,Engineering management,Computer science,Theoretical computer science,Software system,Knowledge base
Conference
9725
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
2
1
Name
Order
Citations
PageRank
Bruno Buchberger1847168.26