Abstract is missing.
- Current Problems in Computer Algebra Systems DesignJames H. Davenport. 1-9
- The Design of Cayley - a Language for Modern AlgebraGregory Butler, John J. Cannon. 10-19
- CoCoA: a User-Friendly System for Commutative AlgebraAlessandro Giovini, Gianfranco Niesi. 20-29
- The design of SISYPHE: a system for doing symbolic and algebraic computationsAndré Galligo, J. Grimm, Loic Pottier. 30-39
- Scratchpad s View of Algebra I: Basic Commutative AlgebraJames H. Davenport, Barry M. Trager. 40-54
- Design Issues for a Computer-aided Environment for Constructive Mathematics (Abstract)Gérard P. Huet. 55
- Efficient Type Inference and Coercion in Computer AlgebraAlbrecht Fortenbacher. 56-60
- Abstract Specification Of Mathematical Structures And MethodsCarla Limongelli, M. Beatrice Mele, Mauro Regio, Marco Temperini. 61-70
- Programming Paradigms For Symbolic Computation Systems - Analysis Of An ExampleUwe Petermann. 71-80
- The computation of Gröbner bases on a shared memory multiprocessorJean-Philippe Vidal. 81-90
- A theory for program and data type specificationCarolyn L. Talcott. 91-100
- Context Induction: a Proof Principle for Behavioural AbstractionsRolf Hennicker. 101-110
- Completion modulo Associativity, Commutativity and Identity (AC1)Jean-Pierre Jouannaud, Claude Marché. 111-120
- Polymorphic Type Checking with Subtypes in PrologThom W. Frühwirth. 121-130
- On the Power of Subsumption and Context ChecksRoland N. Bol, Krzysztof R. Apt, Jan Willem Klop. 131-140
- Putting Algebraic Components Together: A Dependent Type ApproachJean-Claude Reynaud. 141-150
- The Use of Proof Plans in Formal MethodsAlan Bundy. 151-153
- A Prolog Technology Theorem Prover: A New Exposition and Implementation in PrologMark E. Stickel. 154-163
- Parametric queries, linear constraints and variable eliminationJean-Louis Lassez. 164-173
- AC-Unification Race: The System Solving Approach And Its ImplementationMohamed Adi, Claude Kirchner. 174-183
- Heuristical Criteria in Refutational Theorem ProvingSiva Anantharaman, Nirina Andrianarivelo. 184-193
- Requirements for Standards in Knowledge Base Systems (Abstract)Giuseppe Attardi. 194
- Reconciling Symbolic and Numeric Computation in a Practical SettingMichael C. Dewar, M. G. Richardson. 195-204
- The design and specification of the ASSPEGIQUE databaseMichel Bidoit, Francis Capy, Christine Choppy. 205-214
- A Functional and Logic Language with Polymorphic Types (Extended Abstract)Michael Hanus. 215-224
- Graphical Object Oriented Executable Specification for an Automation Oriented Paradigm of Software DevelopmentVincenzo Russi, Roberto Zompi. 225-234
- Building graphic user interfaces for Computer Algebra SystemsNorbert Kajler. 235-244
- A System Independent Graphing Package for Mathematical FunctionsPaul S. Wang. 245-254
- A Model of Interaction for Graphical SystemsGiorgio P. Faconti, R. D. Bettarini, Fabio Paternò. 255-263
- Praxis: A Rule-Based Expert System for MACSYMAMike Clarkson. 264-265
- Will DELia Grow Into An Expert System?A. V. Bocharov. 266-267
- The GANITH algebraic geometry toolkitChandrajit L. Bajaj, Andrew V. Royappa. 268-269
- Mas Modula-2 Algebra SystemHeinz Kredel. 270-271
- Prototypes For The Automatic Translation Of Computer Algebra LanguagesDenis Constales. 272-273
- The Implementation of A PC-Based List Processor for Symbolic ComputationKin-Hong Lee, Kwong-Sak Leung, Sin Man Cheang. 274-275
- Implementation Of The Symbolic Analytic Transformations Language FLACS. V. Chmutov, E. A. Gaydar, I. M. Ignatovich, V. F. Kozadoy, Andrei P. Nemytykh, Victoria A. Pinchuk. 276-277
- Design and development of ENprover, an automated theorem proving system based on EN-strategyFabio Baj, Massimo Bruschi, Antonella Zanzi. 278-279
- Towards A Logic Language: An Object-Oriented Implementation Of The Connection MethodGiorgio Forcellese, Marco Temperini. 280-281
- Suggestions For A Friendlier User InterfaceRon Avitzur. 282-283