"Computational Discovery in Pure Mathematics."

Simon Colton (2007)

Details and statistics

DOI: 10.1007/978-3-540-73920-3_9

access: closed

type: Part in Book or Collection

metadata version: 2017-11-23

a service of  Schloss Dagstuhl - Leibniz Center for Informatics