Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | Symbolic Computation and Education |
| Editors | Shangzhi Li, Dongming Wang, and Jing-Zhong Zhang |
| Place of Publication | Singapore, New Jersey |
| Publisher | World Scientific Publishing Co. |
| Pages | 94-114 |
| Number of pages | 20 |
| ISBN (Print) | 978-981-277-599-3 |
| Publication status | Published - 2007 |
Fields of science
- 101 Mathematics
- 101001 Algebra
- 101005 Computer algebra
- 101009 Geometry
- 101012 Combinatorics
- 101013 Mathematical logic
- 101020 Technical mathematics