NotesFAQContact Us
Collection
Advanced
Search Tips
Showing all 3 results Save | Export
Peer reviewed Peer reviewed
Direct linkDirect link
Dana-Picard, Thierry – International Journal for Technology in Mathematics Education, 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…
Descriptors: Algebra, Mathematics Instruction, Validity, Mathematical Logic
Peer reviewed Peer reviewed
Direct linkDirect link
Picard, Thierry Dana – International Journal for Technology in Mathematics Education, 2004
In a previous paper, we showed the importance of using low-level commands of a CAS in order to enhance the students' conceptual insight into mathematics. In this paper, we wish to emphasise a different use of a CAS, which makes possible the exploration of new topics, when the necessary theoretical results have still not been acquired, and avoids…
Descriptors: Mathematics Education, Calculus, Computer Uses in Education, Mathematics Instruction
Woo, Jeong-Ho, Ed.; Lew, Hee-Chan, Ed.; Park, Kyo-Sik Park, Ed.; Seo, Dong-Yeop, Ed. – International Group for the Psychology of Mathematics Education, 2007
This second volume of the 31st annual proceedings of the International Group for the Psychology of Mathematics Education conference presents research reports for author surnames beginning Alc- through Hal-. Reports include: (1) How Do Your Students Think about Proof? A DVD Resource for Mathematicians (Lara Alcock); (2) Teachers' Conceptions of…
Descriptors: Secondary School Mathematics, Preservice Teachers, Mathematics Education, Teacher Effectiveness