TY - CHAP
T1 - Psychological validity of schematic proofs
AU - Jamnik,Mateja
AU - Bundy,Alan
PY - 2005
Y1 - 2005
N2 - 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
AB - 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
U2 - 10.1007/978-3-540-32254-2_19
DO - 10.1007/978-3-540-32254-2_19
M3 - Chapter
SN - 978-3-540-25051-7
VL - LNCS 2605
T3 - Lecture Notes in Computer Science
SP - 321
EP - 341
BT - Mechanizing Mathematical Reasoning
PB - Springer-Verlag GmbH
ER -