Comparative CAS Reviews and Philosophy

Organizer

Michael Wester (wester@math.unm.edu)
1801 Quincy, SE
Albuquerque, New Mexico
USA 87108-4427
Tel: 1-(505) 243-2800

Description

Right now, a large number of computer algebra systems, both general purpose and special purpose, are available. Some of these systems are commercial while many others are partially or fully in the public domain. As more and more systems become available, it becomes important to have some idea about the strengths and weaknesses provided by each system, both mathematically and inherent in the system's philosophy of use. The point of view of the user will vary depending on the application, and so a statistician may have different considerations than say a physicist which may in turn be different from that of a mathematician or an educator. Each type of user has certain goals and wants to know how a particular system will aid in his or her quest to achieve them.

Talks

Date: July 20th (Saturday)

08:30-08:52.5: Nicolas Robidoux
User Friendly Reviews of Computer Algebra Systems
Abstract
08:52.5-09:15: Laurent Bernardin
A Review of Symbolic Solvers
Abstract
09:15-09:37.5: Hans-Gert Gräbe
Factorized Gröbner Bases and Polynomial Systems
Abstract
09:37.5-10:00: Frank Postel, Paul Zimmermann
A review of the ODE solvers of Axiom, Derive, Macsyma, Maple, Mathematica, MuPAD and Reduce
Abstract

10:00-10:15: Coffee Break

10:15-10:37.5: Helmer Aslaksen
Multiple-valued Complex Functions and Computer Algebra
Abstract
10:37.5-11:00: Michael Wester
Computer Algebra Systems: Pitfalls, Pratfalls and also Elegance
Abstract
11:00-11:22.5: Stanly Steinberg
Computer Algebra and Problem Solving Environments
Abstract
11:22.5-11:45: Paul Zimmermann
Commercial vs Free Computer Algebra Systems
Abstract
11:45-12:00: All
Discussion of Issues Raised and Not Raised

________________________________________________________