Abstract is missing.
- Mathematica: A System for Doing Mathematics by Computer? (Abstract)Bruno Buchberger. 1
- Proving the Correctness of Algebraic Implementations by the ISAR SystemBernhard Bauer, Rolf Hennicker. 2-16
- Sketching Concepts and Computational Model of TROLL ::::light::::Martin Gogolla, Stefan Conrad, Rudolf Herzig. 17-32
- Analogical Type TheoryBo Yi, Jiafu Xu. 33-44
- Improving the Multiprecision Euclidian AlgorithmTudor Jebelean. 45-58
- Storage Allocation for the Karatsuba Integer Multipliation AlgorithmRoman Maeder. 59-65
- Process Scheduling in DSC and the Large Sparse Linear Systems ChallengeAngel Díaz, Markus A. Hitz, Erich Kaltofen, A. Lobo, T. Valente. 66-80
- Gauss: A Parameterized Domain of Computation System with Support for Signature FunctionsMichael B. Monagan. 81-94
- On Coherence in Computer AlgebraAndreas Weber. 95-106
- Subtyping Inheritance in Languages for Symbolic Computation SystemsPaolo Di Blasio, Marco Temperini. 107-121
- A Unified-Algebra-Based Specification Language for Symbolic ComputingJacques Calmet, Indra A. Tjandra. 122-133
- An Order-Sorted Approach to Algebraic ComputationAnthony C. Hearn, Eberhard Schrüfer. 134-144
- Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra EnvironmentPeter Fritzson, Vadim Engelson, Lars Viklund. 145-163
- Matching and Unification for the Object-Oriented Symbolic Computation System AlgBenchGeorgios Grivas, Roman Maeder. 164-176
- A Type System for Computer AlgebraPhilip S. Santas. 177-191
- Decision Procedures for Set/Hyperset ContextsEugenio G. Omodeo, Alberto Policriti. 192-215
- Reasoning with ContextsWilliam M. Farmer, Joshua D. Guttman, F. Javier Thayer. 216-228
- GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different LogicsRicardo Caferra, Michel Herment. 229-240
- Extending RISC-CLP (Real) to Handle Symbolic FunctionsOlga Caprotti. 241-255
- Dynamic Term Rewriting Calculus and Its Application to Inductive Equational ReasoningSu Feng, Toshiki Sakabe, Yasuyoshi Inagaki. 256-271
- Distributed Deduction by Clause-Diffusion: The Aquarius ProverMaria Paola Bonacina, Jieh Hsiang. 272-287
- The Design of the SACLIB/PACLIB KernelsHoon Hong, Andreas Neubacher, Wolfgang Schreiner. 288-302
- The Weyl Computer Algebra SubstrateRichard Zippel. 303-318
- On the Uniform Representation of Mathematical Data StructuresCarla Limongelli, Marco Temperini. 319-330
- Compact Delivery Support for REDUCEA. C. Norman. 331-340
- IZIC: A Portable Language-Driven Tool for Mathematical Surfaces VisualizationRobert Fournier, Norbert Kajler, Bernard Mourrain. 341-353
- The Algebraic Constructor CAC: Computing in Construction-Defined DomainsSerge D. Meshveliani. 354-359
- Extending AlgBench with a Type SystemStephan A. Missura. 359-363
- Modeling Finite Fields with Mathematica - Applications to the Computation of Exponential Sums and to the Solution of Equations over Finite FieldsAntonio Vantaggiato. 364-368
- An Enhanced Sequent Calculus for Reasoning in a Given DomainSabina Bonamico, Gianna Cioni, Attilio Colagrossi. 369-373
- Problem-Oriented Means of Program Specification and Verification in Project SPECTRUMV. A. Nepomniaschy, A. A. Sulimov. 374-378
- General Purpose Proof PlansToby Walsh. 379-383