%0 Journal Article %J Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia %D 2015 %T Mathematical proofs in practice: Revisiting the reliability of published mathematical proofs %A Frans, Joachim %A Kosolosky, Laszlo %B Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia %V 29 %P 345–360 %G eng