NotesFAQContact Us
Search Tips
Peer reviewed Peer reviewed
Direct linkDirect link
ERIC Number: EJ874197
Record Type: Journal
Publication Date: 2005
Pages: 7
Abstractor: As Provided
Reference Count: 33
ISSN: ISSN-1744-2710
Some Reflections on CAS Assisted Proofs of Theorems
Dana-Picard, Thierry
International Journal for Technology in Mathematics Education, v12 n4 p165-171 2005
A mathematician's work consists of proving theorems, calculating, and making mathematics understandable. An assistant for all three components is a Computer Algebra System. We describe and discuss various CAS-assisted processes for proving theorems, and discuss the constraints which can appear regarding efficiency, confidence in the result and mathematical insight during the computerised work. Two examples are described with some details and general structures are displayed.
Research Information Ltd. Grenville Court, Britwell Road, Burnham, Buckinghamshire, SL1 8DF, UK. Tel: +44-1628-600499; Fax: +44-1628-600488; e-mail:; Web site:
Publication Type: Journal Articles; Reports - Descriptive
Education Level: Higher Education
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A
Identifiers - Location: Israel