DISCO 1992: Bath, UK

John Fitch (Ed.): Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '92, Bath, UK, April 13-15, 1992, Proceedings. Lecture Notes in Computer Science 721 Springer 1993, ISBN 3-540-57272-4 BibTeX

@proceedings{DBLP:conf/disco/1992,
  editor    = {John Fitch},
  title     = {Design and Implementation of Symbolic Computation Systems, International
               Symposium, DISCO '92, Bath, UK, April 13-15, 1992, Proceedings},
  booktitle = {DISCO},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {721},
  year      = {1993},
  isbn      = {3-540-57272-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Ken Rimey: Template-based Formula Editing in Kaava. 1-12 BibTeX
Russell J. Bradford: Algebraic Simplification of Multiple-Valued Functions. 13-21 BibTeX
Michael B. Monagan: In-place Arithmetic for Polinominals over Z_n. 22-34 BibTeX
Brian D. Brunswick: LILK - Static Analysis of REDUCE Code. 35-43 BibTeX
C. Faure, André Galligo, J. Grimm, Loic Pottier: The Extensions of the Sisyphe Computer Algebra System: ulysse and athena. 44-55 BibTeX
Roman Maeder: AlgBench: An Object-Oriented Symbolic Core System. 56-64 BibTeX
Philip S. Santas: SYMO2: Objects and Classes for Symbolic Computation Systems. 65-84 BibTeX
Norbert Kajler: Building a Computer Algebra Environment by Composition of Collaborative Tools. 85-94 BibTeX
Trudy Weibel, Gaston H. Gonnet: An Assume Facility for CAS, with a Sample Implementation for Maple. 95-103 BibTeX
John Fitch: REDUCE Meets CAMAL. 104-115 BibTeX
Karl Aberer: Combinatory Models and Symbolic Computation. 116-131 BibTeX
Sergio Antoy, Paola Forcheri, Maria Teresa Molfino, Carlo Schenone: A Uniform Approach to Deduction and Automatic Implementation. 132-144 BibTeX
M. Bayram, J. P. Bennett: A Simple General Purpose Technique for Interfacing Between Computer Algebra and Numerical Analysis Systems. 145-151 BibTeX
Eugene V. Zima: Recurrent Relations and Speed-up of Computations Using Computer Algebra Systems. 152-161 BibTeX
Gábor Simon: Design and Implementation of a Retargetable ALDES Compiler. 162-172 BibTeX
Joachim Apel, Uwe Klaus: Data Representation and In-built Compilation in the Computer Algebra Program FELIX. 173-192 BibTeX
A. Goodloe, Philippe Loustaunau: An Abstract Data Type Development of Graded Rings. 193-202 BibTeX
Olga Caprotti: An Object-Oriented Approach to Indexed Mathematical Objects for the Manipulation of Sums and Series. 203-214 BibTeX