European Conference on Computer Algebra EUROCAL 85 LNCS 204

• Bergeron et al (1985) Bergeron, François and Pichet, Claude "DARWIN: A System for the Study of Enumerative Combinatorics"
• Char et al (1985) Bruce Char, Keith Geddes and Gaston Gonnet The Maple Symbolic Computation System
• Campbell and Robertson (1985) C. M. Campbell and E. F. Robertson "A Cayley File of Finite Simple Groups"
• Collins (1985) Collins, G. E. "The SAC-2 Computer Algebra System"
• Drouffe (1985) Drouffe, J. M. "AMP - A System for Algebraic Computations"
• Drouffe (1985) Drouffe, J. M. "Computer Algebra as a Research Tool in Physics"
• Frick and Åman (1985) Frick, Inge and Åman, Jan E. "SHEEP and Classification in General Relativity"
• Carrette and Harten (1985) George J. Carrette & Leo P. Harten "DOE-MACSYMA: Progress Report"
• Hörnfeldt (1985) Hörnfeldt, Lars "STENSOR"
• Caciotta and Iannucci (1985) M. Caciotta & F. Iannucci "Software Toolkit for Input Stage Measurement Circuit in Symbolic Computation"
• Taraniuk and Mackeonis (1985) M. Taraniuk, P. Mackeonis "The Computer Algebra System REDUCE"
• Padget (1985) Padget, J. A. "Current Development in LISP"
• Pavelle (1985) Pavelle, Richard "The Power of Present Computer Algebra Systems: MACSYMA on a LISP-Machine"
• Pearce and Hicks (1985) Pearce, P.D. and Hicks, R. J. "The Optimisation by "Code Motion" of User Programs for an Algebraic Manipulation System"
• Caferra and Jorrand (1985) Ricardo Caferra & Philippe Jorrand "Unification with Refined Linearity Check as a Network of Parallel Processes"
• Stoutmeyer (1985) Stoutmeyer, David "Computer Algebra on Micros: muMATH on an IBM-PC"
• Sutor (1985) Sutor, Robert S. "The Scratchpad II Computer Algebra Language and System"
• Wolff von Gudenberg (1985) Wolff von Gudenberg, J. "Floating-point Computation in PASCAL-SC with Verified Results"