Peer reviewedERIC Number: EJ458230
Record Type: Journal
Publication Date: 1992
Pages: N/A
Abstractor: N/A
ISBN: N/A
ISSN: ISSN-0731-9258
EISSN: N/A
Euclidean Geometry via Programming.
Filimonov, Rossen; Kreith, Kurt
Journal of Computers in Mathematics and Science Teaching, v11 n3-4 p303-18 1992
Describes the Plane Geometry System computer software developed at the Educational Computer Systems laboratory in Sofia, Bulgaria. The system enables students to use the concept of "algorithm" to correspond to the process of "deductive proof" in the development of plane geometry. Provides an example of the software's capability and compares it to the Geometric Supposer. (MDH)
Descriptors: Abstract Reasoning, Algorithms, Computer Assisted Instruction, Computer Software Development, Courseware, Discovery Learning, Discovery Processes, Geometry, High Schools, Mathematical Logic, Mathematics Education, Mathematics Instruction, Programing, Proof (Mathematics), Secondary Education, Secondary School Mathematics
Publication Type: Journal Articles; Guides - Classroom - Teacher; Computer Programs
Education Level: N/A
Audience: Teachers; Practitioners
Language: English
Sponsor: N/A
Authoring Institution: N/A
Grant or Contract Numbers: N/A
