Search

Search Results

• An e-learning environment for elementary analysis: combining computer algebra, graphics and automated reasoning

  13-34

  Róbert Vajda

  Views:

  28

  CreaComp is a project at the University of Linz, which aims at producing computer-supported interactive learning units for several mathematical topics at introductory university level. The units are available as Mathematica notebooks. For student experimentation we provide computational, graphical and reasoning tools as well. This paper focuses on the elementary analysis units.
  The computational and graphical tools of the CreaComp learning environment facilitate the exploration of new mathematical objects and their properties (e.g., boundedness, continuity, limits of real valued functions). Using the provided tools students should be able to collect empirical data systematically and come up with conjectures. A CreaComp component allows the formulation of precise conjectures and the investigatation of their validity. The Theorema system, which has been integrated into the CreaComp learning environment, provides full predicate logic with a user-friendly twodimensional syntax and a couple of automated reasoners that produce proofs in an easy-to-read and natural presentation. We demonstrate the learning situations and the provided tools through several examples.

• Interactive web portals in mathematics

  347-361

  Róbert Vajda

  Zoltán Kovács

  Views:

  14

  Many of the recent problems in higher education (less contact seminars, the heterogeneity and the increasing number of our students) call for new instructional methods. At University of Szeged we have developed a mathematical web portal which can offer a solution for such problems among the changing circumstances. This freely available, easy-to-use web-surface supports interactive mathematical problem-solving and student self assessment. Our computer program cooperates with a lot of free software (computer algebra systems, formula parsers, converters, word processors). WebMathematics Interactive has been available for the public since June 2002 on its web page http://wmi.math.u-szeged.hu.