Our aim is not to substitute the traditional methods of teaching mathematics by computerized lessons, but to provide an auxiliary tool that could help the students to understand and learn how to work with, some of the basic mathematical notions and constructions.
The course features visualization of abstract concepts and geometrical objects . Our products show that computers have great powers not only in mathematical experiments but also rigorous mathematical proofs.
We have written over 100 Maple worksheets and Mathematica notebooks. They can be accessed by anonymous ftp at:
ftp: ftp.u-aizu.ac.jp//u-aizu/MathResources/