The Mizar Mathematical Library in OMDoc: Translation and Applications
Work
Year: 2012
Type: article
Source: Journal of Automated Reasoning
Institutions Constructor University, Radboud University Nijmegen
Cites: 28
Cited by: 48
Related to: 10
FWCI: 4.611
Citation percentile (by year/subfield): 90.97
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: green