Aligning concepts across proof assistant libraries
Work
Year: 2018
Type: article
Abstract: As the knowledge available in the computer understandable proof corpora grows, recognizing repeating patterns becomes a necessary requirement in order to organize, synthesize, share, and transmit idea... more
Source: Journal of Symbolic Computation
Authors Thibault Gauthier, Cezary Kaliszyk
Institution Universität Innsbruck
Cites: 67
Cited by: 16
Related to: 10
FWCI: 1.605
Citation percentile (by year/subfield): 80.68
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: hybrid
APC paid (est): $2,770
Funders European Cooperation in Science and Technology, Austrian Science Fund, H2020 European Research Council
Grant IDS CA15123, P26201, 714034