Geometric Computerized Proofs = Drawing Package + Symbolic Computation Software.

Szymanski, Witold A.

Notes FAQ Contact Us

Back to results

Peer reviewed

ERIC Number: EJ498311

Record Type: Journal

Publication Date: 1994

Pages: N/A

Abstractor: N/A

ISBN: N/A

ISSN: ISSN-0731-9258

EISSN: N/A

Available Date: N/A

Geometric Computerized Proofs = Drawing Package + Symbolic Computation Software.

Szymanski, Witold A.

Journal of Computers in Mathematics and Science Teaching, v13 n4 p433-44 1994

This paper advocates the use of symbolic computation packages as another aid in teaching geometry. The need for such packages and their use in computerized proofs are demonstrated by a problem in high school planar geometry. (LZ)

Descriptors: Computation, Computer Assisted Instruction, Courseware, Geometry, High Schools, Mathematics Instruction, Proof (Mathematics)

Publication Type: Reports - Research; Guides - Classroom - Teacher; Journal Articles

Education Level: N/A

Audience: N/A

Language: English

Sponsor: N/A

Authoring Institution: N/A

Grant or Contract Numbers: N/A

Author Affiliations: N/A