Number 1, November 1996.
Reports on Conferences and Workshops
Report on IMACS-ACA '96
by Franz Winkler, RISC, Linz (Austria) Franz.Winkler@risc.uni-linz.ac.at
The "2nd IMACS Conference on Applications of Computer Algebra"
took place at the institute RISC-Linz in Austria, July 17-20, 1996,
under the joint chairmanship of B. Buchberger (Linz, Austria) and
S. Steinberg (Albuquerque, USA), and the program committee chairman
H. Hong (Linz, Austria).
Scientific papers were presented in several sessions, entitled
- Polynomial Elimination
- Automated Theorem Proving
- Formal Analysis of PDEs
- Coding Theory and Cryptology
- Geometric Modelling and CAD
- Computational Physics
- Constraint Programming
- Analog Circuit Design
- Evaluation of Series
- Quantifier Elimination
- Computational Category Theory
- Non-Standard Applications
- New Applications in Mathematica
- Comparative CAS Reviews and Philosophy
Contents