SIGSAM BULLETIN
Table of Contents
Volume 31, Number 2 June 1997 Issue 120
Letters
- p. 1 -- PetaFLOPS Workshop ... A. Reeves
TIMELY COMMUNICATIONS
- p. 2 --
REDLOG: Computer algebra meets computer logic ... A. Dolzmann & T. Sturm
- p. 10 --
Three examples of S-integral points on Elliptic Curves over Q .. H. G. Zimmer
Technical Report Abstracts
- p. 22 -- INRIA Rocquencourt
- p. 22 -- Research Institute for symbolic computation
- p. 30 -- University of Passau
Announcements
- p. 32 -- A course on computer algebra applications .. T. Recio