Descriptor
Source
| Mathematics Teacher | 1 |
| Science News | 1 |
Author
| Hay, Louise | 1 |
| Steen, Lynn Arthur | 1 |
Publication Type
| Journal Articles | 2 |
| Non-Print Media | 2 |
| Guides - Classroom - Teacher | 1 |
Education Level
Audience
| Practitioners | 1 |
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Steen, Lynn Arthur – Science News, 1981
The development of symbolic computer algebra designed to manipulate abstract mathematical expressions is discussed. The ability of this software to mimic the standard patterns of human problem solving represents a major advance toward "true" artificial intelligence. (MP)
Descriptors: Artificial Intelligence, Computer Programs, Computer Science, Computers
Peer reviewedHay, Louise – Mathematics Teacher, 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
