Descriptor
| Abstract Reasoning | 1 |
| Algorithms | 1 |
| Computer Assisted Instruction | 1 |
| Computer Software Development | 1 |
| Courseware | 1 |
| Discovery Learning | 1 |
| Discovery Processes | 1 |
| Geometry | 1 |
| High Schools | 1 |
| Mathematical Logic | 1 |
| Mathematics Education | 1 |
| More ▼ | |
Source
| Journal of Computers in… | 1 |
Author
| Filimonov, Rossen | 1 |
| Kreith, Kurt | 1 |
Publication Type
| Computer Programs | 1 |
| Guides - Classroom - Teacher | 1 |
| Journal Articles | 1 |
Education Level
Audience
| Practitioners | 1 |
| Teachers | 1 |
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewedFilimonov, Rossen; Kreith, Kurt – Journal of Computers in Mathematics and Science Teaching, 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…
Descriptors: Abstract Reasoning, Algorithms, Computer Assisted Instruction, Computer Software Development
