This document is unfortunately not available for download at the moment.
Hanne Andersen , Dennis Dieks , Thomas Uebel , Wenceslao J. González , Gregory Wheeler (2013) New challenges to philosophy of science, Dordrecht, Springer.
Computing with mathematical arguments
Jesse Alama, Reinhard Kahle
pp. 9-22
Not implemented yet !