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

School of Informatics

Open Access permissions

Open

Documents

Download as Adobe PDF
Accepted author manuscript, 242 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	https://doi.org/10.1007/978-3-540-32254-2_19
Publication status	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

Download statistics

No data available

ID: 405499