Author:
Bancerek Grzegorz,Naumowicz Adam,Urban Josef
Publisher
Springer International Publishing
Reference13 articles.
1. Bancerek, G.: Automatic translation in Formalized Mathematics. Mech. Math. Appl. 5(2), 19–31 (2006)
2. Bancerek, G.: Mizar analysis of algorithms: algorithms over integers. Formaliz. Math. 16(2), 177–194 (2008).
https://doi.org/10.2478/v10037-008-0024-0
3. Bancerek, G., Bylinski, C., Grabowski, A., Kornilowicz, A., Matuszewski, R., Naumowicz, A., Pak, K.: The role of the Mizar Mathematical Library for interactive proof development in Mizar. J. Autom. Reason. 61(1–4), 9–32 (2018).
https://doi.org/10.1007/s10817-017-9440-6
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);G Bancerek,2015
5. Bancerek, G., Carlson, P.: Mizar and the machine translation of mathematics documents.
http://www.mizar.org/project/banc_carl93.ps
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献