Alama, Jesse; Kahle, Reinhard Checking proofs. (English) Zbl 1330.00021 Aberdein, Andrew (ed.) et al., The argument of mathematics. Dordrecht: Springer (ISBN 978-94-007-6533-7/hbk; 978-94-007-6534-4/ebook). Logic, Epistemology, and the Unity of Science 30, 147-170 (2013). Reviewer: Manfred Kerber (Birmingham) MSC: 00A30 00A35 03-03 01A60 01A61 03B35 68T15 PDFBibTeX XMLCite \textit{J. Alama} and \textit{R. Kahle}, Log. Epistemol. Unity Sci. 30, 147--170 (2013; Zbl 1330.00021) Full Text: DOI
Kulpa, Zenon Main problems of diagrammatic reasoning. I: The generalization problem. (English) Zbl 1178.03011 Found. Sci. 14, No. 1-2, 75-96 (2009). MSC: 03A05 00A30 PDFBibTeX XMLCite \textit{Z. Kulpa}, Found. Sci. 14, No. 1--2, 75--96 (2009; Zbl 1178.03011) Full Text: DOI