Papers in proceedings

• Jesse Alama and Reinhard Kahle, Computing with Mathematical Arguments, in: Hanne Andersen, Dennis Dieks, Wenceslao J. Gonzalez, Thomas Uebel, and Gregory Wheeler (eds), New Challenges to Philosophy of Science. Philosophy of Science in a European Perspective, Springer, Pag. 9-22, 2013.
• Jesse Alama, Escape to Mizar from ATPs, in: Pascal Fontaine, Renate Schmidt and Stephan Schulz and (eds), PAAR 2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, Easychair Proceedings in Computing, Easychair, Vol. 21, Pag. 3-11, (url), 2013.
• Jesse Alama and and Reinhard Kahle, Computing with mathematical arguments, in: Hanne Andersen, Dennis Dieks, Wenceslao Gonzalez, Thomas Uebel and Gregory Wheeler (eds), New Challenges to Philosophy of Science, The Philosophy of Science in a European Perspective, Springer, Vol. 4, Pag. 9-22, (url), 2013.