G. Mayrhofer, S. Saminger, W. Windsteiger

@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}}

@inproceedings{RISC3067, author = {G. Mayrhofer and S. Saminger and W. Windsteiger}, title = {{CreaComp: Experimental Formal Mathematics for the Classroom}}, booktitle = {{Symbolic Computation and Education}}, language = {english}, 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.}, pages = {94--114}, publisher = {World Scientific Publishing Co.}, address = {Singapore, New Jersey}, isbn_issn = {ISBN 978-981-277-599-3}, year = {2007}, editor = {Shangzhi Li and Dongming Wang and and Jing-Zhong Zhang}, refereed = {yes}, length = {20}, url = {http://www.worldscibooks.com/socialsci/6642.html}}

Analytica V: Towards the Mordell-Weil Theorem

E. M. Clarke, A. S. Gavlovski, K. Sutner, W. Windsteiger

@inproceedings{RISC2912, author = {E. M. Clarke and A. S. Gavlovski and K. Sutner and W. Windsteiger}, title = {{Analytica V: Towards the Mordell-Weil Theorem}}, booktitle = {{Proceedings of Calculemus'06}}, language = {english}, abstract = {Analytica V is a theorem proving system that is built on top of the symbolic computation system Mathematica. It was originally designed by E. Clarke and X. Zhao in the early 1990's. We describe here a redesign of the system that extends its abilities to reasoning about some aspects of number theory.}, pages = {?--?}, isbn_issn = {?}, year = {2006}, editor = {A. Bigatti and S. Ranise}, refereed = {yes}, length = {16}, conferencename = {Calculemus'06}}