Experimental computation as an ontological game changer: the impact of modern mathematical computation tools on the ontology of mathematics
scientific article; zbMATH DE number 7907713
scientific article