@inbook{542e9c005375420c8c4b528a9e74920a,
title = "Psychological validity of schematic proofs",
abstract = "Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern of proof from several examples of a family of proofs. In this paper we examine several interesting aspects of the use of schematic proofs in mathematics. Furthermore",
author = "Mateja Jamnik and Alan Bundy",
year = "2005",
doi = "10.1007/978-3-540-32254-2_19",
language = "English",
isbn = "978-3-540-25051-7",
volume = "LNCS 2605",
series = "Lecture Notes in Computer Science",
publisher = "Springer-Verlag GmbH",
pages = "321--341",
booktitle = "Mechanizing Mathematical Reasoning",
}