CreaComp: Computer-Supported Experiments and Automated Proving in Learning and Teaching Mathematics
Sprache des Titels:
Proceedings of ICTMT8
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.