Psychological validity of schematic proofs

Mateja Jamnik; Alan Bundy

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

Psychological validity of schematic proofs

Mateja Jamnik, Alan Bundy

School of Informatics

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

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

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
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

Access to Document

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

Psychological_validity_of_schematic_proofsAccepted author manuscript, 242 KB

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

Cite this

@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",

pages = "321--341",

booktitle = "Mechanizing Mathematical Reasoning",

address = "United Kingdom",

}

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

ER -

Psychological validity of schematic proofs

Abstract

Publication series

Access to Document

Fingerprint

Cite this