Günther Mayrhofer, Wolfgang Windsteiger, Susanne Saminger,
"CreaComp: Computer-Supported Experiments and Automated Proving in Learning and Teaching Mathematics"
, in Eva Milkova: Proceedings of ICTMT8, 2007, ISBN: 978-80-7041-285-5
Original Titel:
CreaComp: Computer-Supported Experiments and Automated Proving in Learning and Teaching Mathematics
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of ICTMT8
Original Kurzfassung:
We present an environment for learning and teaching mathematics that aims at inspiring the creative potential of students by enabling the learners to perform various kinds of interactive experiments during their learning process. Computer interactions are both of visual and purely formal mathematical nature, where the computer-algebra system Mathematica powers the visualization of mathematical concepts and the tools provided by the theorem proving system Theorema are used for the formal counterparts.