Publisher
Springer International Publishing
Reference18 articles.
1. Lecture Notes in Computer Science;J. Alama,2011
2. Lecture Notes in Computer Science;M. Armand,2011
3. Caminati, M.B., Rosolini, G.: Custom automations in Mizar. Journal of Automated Reasoning 50(2), 147–160 (2013)
4. Grabowski, A., Korniłowicz, A., Naumowicz, A.: Mizar in a nutshell. Journal of Formalized Reasoning 3(2), 153–245 (2010)
5. Lecture Notes in Artificial Intelligence;A. Grabowski,2007
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Enhancement of properties in Mizar;PeerJ Computer Science;2020-11-30
2. A Survey of Languages for Formalizing Mathematics;Lecture Notes in Computer Science;2020
3. Extended Floyd-Hoare Logic over Relational Nominative Data;Information and Communication Technologies in Education, Research, and Industrial Applications;2018
4. The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar;Journal of Automated Reasoning;2017-11-25
5. Introducing Euclidean Relations to Mizar;Proceedings of the 2017 Federated Conference on Computer Science and Information Systems;2017-09-24