ASCM 2001
The Fifth Asian Symposium on Computer Mathematics
Matsuyama,
Japan, September 26-28, 2001
ASCM 2001 will provide an
international forum for active researchers to review the current state of the
art and trends, to report research results and progress, and to exchange ideas
for future developments on computer mathematics. Research papers on all aspects
of the interaction between computers and mathematics are solicited for the
symposium. Specific topics include but are not limited to:
- Symbolic, algebraic, and geometric computation
- Automated mathematical reasoning
- Computer-aided problem solving and instruction
- Computational algebra and geometry
- Constructive methods for differential equations
- Symbolic/numeric hybrid methods
- Parallel/distributed/network computing
- Applications in CAGD/CAD, robotics, and computer vision
- Mathematical software design and implementation
The symposium will
consist of plenary sessions by invited speakers, regular sessions of contributed
papers, and software demonstration.