Psychological validity of schematic proofs

Mateja Jamnik; Alan Bundy

doi:10.1007/978-3-540-32254-2_19

Psychological validity of schematic proofs

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Export citation
[ RIS ]
[ BibTeX ]

Mateja Jamnik
Alan Bundy

Related Edinburgh Organisations

Open Access permissions

Open

Documents

Download as Adobe PDF
Accepted author manuscript, 241 KB, PDF-document

http://www.springerlink.com/content/2lu077g6736bdl6t/

Original language	English
Title of host publication	Mechanizing Mathematical Reasoning
Subtitle of host publication	Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday
Publisher	Springer-Verlag GmbH
Pages	321-341
Volume	LNCS 2605
ISBN (Electronic)	978-3-540-32254-2
ISBN (Print)	978-3-540-25051-7
DOIs	10.1007/978-3-540-32254-2_19
State	Published - 2005

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	2605
ISSN (Print)	0302-9743

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

ID: 405499