CreaComp: Computer-Supported Experiments and Automated Proving in Learning and Teaching Mathematics

Günther Mayrhofer; Wolfgang Windsteiger; Susanne Saminger

CreaComp: Computer-Supported Experiments and Automated Proving in Learning and Teaching Mathematics

Günther Mayrhofer
, Wolfgang Windsteiger
, Susanne Saminger

Institut für Symbolisches Rechnen

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

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.

Originalsprache	Englisch
Titel	Proceedings of ICTMT8
Herausgeber*innen	Eva Milkova
Seitenumfang	5
Publikationsstatus	Veröffentlicht - 2007

Wissenschaftszweige

101 Mathematik
101001 Algebra
101005 Computeralgebra
101009 Geometrie
101012 Kombinatorik
101013 Mathematische Logik
101020 Technische Mathematik

Dieses zitieren

@inproceedings{33073716f6304d01bd5b143169265f72,

title = "CreaComp: Computer-Supported Experiments and Automated Proving in Learning and Teaching Mathematics",

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.",

author = "G{\"u}nther Mayrhofer and Wolfgang Windsteiger and Susanne Saminger",

year = "2007",

language = "English",

isbn = "978-80-7041-285-5",

editor = "\{Eva Milkova\}",

booktitle = "Proceedings of ICTMT8",

}

TY - GEN

T1 - CreaComp: Computer-Supported Experiments and Automated Proving in Learning and Teaching Mathematics

AU - Mayrhofer, Günther

AU - Windsteiger, Wolfgang

AU - Saminger, Susanne

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

M3 - Conference proceedings

SN - 978-80-7041-285-5

BT - Proceedings of ICTMT8

A2 - Eva Milkova, null

ER -