Some Reflections on Mathematics and Its Relation to Computer Science

DOI10.1007/978-3-319-09039-9_3zbMath1309.00054OpenAlexW1920678MaRDI QIDQ4982990

Liesbeth De Mol

Publication date: 14 April 2015

Published in: Automata, Universality, Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-09039-9_3

zbMATH Keywords

computer-assisted mathematics

Mathematics Subject Classification ID

Methodology of mathematics (00A35) General topics in the theory of algorithms (68W01) General topics in the theory of computing (68Q01)

This page was built for publication: Some Reflections on Mathematics and Its Relation to Computer Science