Abstract is missing.
- Problem-Oriented Applications of Automated Theorem ProvingWolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt. 1-21
- Sigma:::IT::: - A Strongly-Typed Embeddable Computer Algebra LibraryManuel Bronstein. 22-33
- Disc::Atinf::: A General Framework for Implementing Calculi and StrategiesChristophe Bourely, Nicolas Peltier. 34-45
- Equality Elimination for the Tableau MethodAnatoli Degtyarev, Andrei Voronkov. 46-60
- Towards Lean Proof CheckingGilles Barthe, Hugo Elbers. 61-62
- WALDMEISTER: High Performance Equational Theorem ProvingArnim Buch, Thomas Hillenbrand, Roland Fettig. 63-64
- A Reflective Language Based on Conditional Term RewritingMasanobu Numazawa, Masahito Kurihara, Azuma Ohuchi. 65-66
- Term Rewriting Systems: An h-Categorical SemanticGiulio Balestreri. 67-78
- Generative Geometric Modeling in a Functional EnvironmentAlberto Paoluzzi. 79-97
- Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic LiftingWolfgang Gehrke, Carla Limongelli. 98-111
- Conditional Categories and DomainsPhilip S. Santas. 112-125
- Parameterizing Object SpecificationsMartin Gogolla. 126-137
- Analyzing the Dynamics of a Z SpecificationPaolo Ciancarini, Cecilia Mascolo. 138-149
- Walking FasterBeatrice Amrhein, Oliver Gloor, Wolfgang Küchlin. 150-161
- Integer and Rational Arithmetic on MasParTudor Jebelean. 162-173
- Parallel 3-Primes FFT AlgorithmGiovanni Cesari, Roman Maeder. 174-182
- A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical MultiprocessorReinhard Bündgen, Manfred Göbel, Wolfgang Küchlin. 183-194
- Multi-Agent Cooperation - Concepts and ApplicationsHans Haugeneder, Donald Steiner. 195-197
- Document-Centered Presentation of Computing Software: Compound Documents Are Better WorkspacesWolfgang Weck. 198-199
- Animating a Non-executable Formal Specification with a Distributed Symbolic LanguagePaolo Ciancarini, Stelvio Cimato. 200-201
- Uniform Representation of Basic Algebraic Structures in Computer AlgebraCarla Limongelli, Giuseppina Malerba, Marco Temperini. 202-203
- Integrating Computer Algebra with Proof PlanningManfred Kerber, Michael Kohlhase, Volker Sorge. 204-215
- Structures for Symbolic Mathematical Reasoning and ComputationKarsten Homann, Jacques Calmet. 216-227
- Implementing FS::0:: in Isabelle: Adding Structure at the MetalevelSeán Matthews. 228-239
- An Approach to Class Reasoning in Symbolic ComputationGianna Cioni, Attilio Colagrossi, Marco Temperini. 240-251
- An Intelligent Interface to Numerical RoutinesBrian J. Dupée, James H. Davenport. 252-262
- Computer Algebra and the World Wide WebAnthony C. Hearn. 263-270
- Interfacing REDUCE to JavaArthur Norman, John Fitch. 271-276
- Software Architectures for Computer Algebra: A Case StudyGregory Butler. 277-286
- A Deductive Database for Mathematical FormulasStéphane Dalmas, Marc Gaëtano, Claude Huchet. 287-296
- CASA - A System for Computer Aided Constructive Algebraic GeometryMichal Mnuk, Franz Winkler. 297-307
- Making Systems Communicate and Cooperate: The Central Control ApproachStéphane Dalmas, Marc Gaëtano. 308-319
- A Database for Number FieldsMario Daberkow, Andreas Weber. 320-330
- Compiling Residuation for a Multiparadigm Symbolic Programming LanguageGrigorios Grivas, Alexios Palinginis. 331-342
- Pluggability Issues in the Multi ProtocolSimon Gray, Norbert Kajler, Paul S. Wang. 343-356