Computing with mathematical arguments

2013

Jesse Alama, Reinhard Kahle

in: New challenges to philosophy of science, Berlin,