RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC3066,
    author = {G. Mayrhofer and S. Saminger and W. Windsteiger},
    title = {{CreaComp: Computer-Supported Experiments and Automated Proving in Learning and Teaching Mathematics}},
    booktitle = {{Proceedings of ICTMT8}},
    language = {english},
    abstract = {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.},
    pages = {?--?},
    isbn_issn = {ISBN 978-80-7041-285-5},
    year = {2007},
    editor = {Eva Milkova},
    refereed = {yes},
    length = {5}
    }