NotesFAQContact Us
Collection
Advanced
Search Tips
50 Years of ERIC
50 Years of ERIC
The Education Resources Information Center (ERIC) is celebrating its 50th Birthday! First opened on May 15th, 1964 ERIC continues the long tradition of ongoing innovation and enhancement.

Learn more about the history of ERIC here. PDF icon

Back to results
Peer reviewed Peer reviewed
ERIC Number: EJ241152
Record Type: CIJE
Publication Date: 1981-Feb
Pages: N/A
Abstractor: N/A
Reference Count: 0
ISBN: N/A
ISSN: N/A
Using the Computer to Help Prove Theorems.
Hay, Louise
Mathematics Teacher, v74 n2 p132-38 Feb 1981
The use of a computer program written in BASIC to help prove a theorem in geometry is discussed. Ideas used in this example could be applied to writing programs for other geometric proofs. (MP)
Descriptors: Computer Assisted Instruction, Computers, Geometric Concepts, Mathematical Concepts, Mathematics Instruction, Problem Solving, Secondary Education, Secondary School Mathematics
Publication Type: Journal Articles; Guides - Classroom - Teacher; Non-Print Media
Education Level: N/A
Audience: Practitioners
Language: English
Sponsor: N/A
Authoring Institution: N/A
Identifiers: BASIC Programing Language; Proof (Mathematics)