EUROCAL 1985, Volume 2: Linz, Austria

Algebraic Algorithms I

Demos of General Purpose Computer Algebra Systems

Automated Theorem Proving

Applications I

Algebraic Algorithms II

Demos of Special Purpose Computer Algebra Systems

Constructive and Combinatory Logic

Applications II

Computational Group Theory

Algebraic Algorithms III

Algebraic Algorithms IV

Computer Algebra Systems Implementation I

Symbolic/Numeric Interface I

Rewrite Rules and the Completion Procedure

Applications III

Algebraic Algorithms V

Rewrite Rules and the Completion Procedure II

Computer Algebra Systems Implementation II

Automatic Programming I

Applications IV

Computational Number Theory

Algebraic Algorithms VI

Parallel Symbolic and Algebraic Computation

Automatic Programming II

Symbolic/Numeric Interface II

Computer Analysis

maintained by Schloss Dagstuhl LZI at University of Trier