Günther Mayrhofer, Wolfgang Windsteiger, Susanne Saminger,
"CreaComp: Experimental Formal Mathematics for the Classroom"
, in Shangzhi Li, Dongming Wang, and Jing-Zhong Zhang: Symbolic Computation and Education, World Scientific Publishing Co., Singapore, New Jersey, Seite(n) 94-114, 2007, ISBN: 978-981-277-599-3
Original Titel:
CreaComp: Experimental Formal Mathematics for the Classroom
Sprache des Titels:
Englisch
Original Buchtitel:
Symbolic Computation and Education
Original Kurzfassung:
CreaComp provides an electronic environment for learning and teaching mathematics that aims at inspiring the creative potential of students. During their learning process, students are encouraged to engage themselves in various kinds of interactive experiments, both of visual and purely formal mathematical nature. 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. We present a case study on the concept of equivalence relations and set partitions, in which we demonstrate the entire bandwidth of computer-support that we envision for modern learning environments for mathematics.
Forschungs-