Login / Signup
Using Computer Algebra Systems as Cognitive Tools.
Jochen Büdenbender
Adrian Frischauf
Georgi Goguadze
Erica Melis
Paul Libbrecht
Carsten Ullrich
Published in:
Intelligent Tutoring Systems (2002)
Keyphrases
</>
computer algebra systems
cognitive tools
computer algebra
learning environment
handheld computers
theorem prover
thinking skills
theorem proving
distributed cognition
communication tools
first order logic
knowledge base
learning activities
cognitive skills