DISCO 1993: Gmunden, Austria

Alfonso Miola (Ed.): Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings. Lecture Notes in Computer Science 722 Springer 1993, ISBN 3-540-57235-X

Bruno Buchberger:
Mathematica: A System for Doing Mathematics by Computer? (Abstract). 1

Theoretical Aspects

Bernhard Bauer, Rolf Hennicker:
Proving the Correctness of Algebraic Implementations by the ISAR System. 2-16
Martin Gogolla, Stefan Conrad, Rudolf Herzig:
Sketching Concepts and Computational Model of TROLL light. 17-32
Bo Yi, Jiafu Xu:
Analogical Type Theory. 33-44

Algorithm Implementation

Tudor Jebelean:
Improving the Multiprecision Euclidian Algorithm. 45-58
Roman Maeder:
Storage Allocation for the Karatsuba Integer Multipliation Algorithm. 59-65
Angel Díaz, Markus A. Hitz, Erich Kaltofen, A. Lobo, T. Valente:
Process Scheduling in DSC and the Large Sparse Linear Systems Challenge. 66-80

Programming with Types

Michael B. Monagan:
Gauss: A Parameterized Domain of Computation System with Support for Signature Functions. 81-94
Andreas Weber:
On Coherence in Computer Algebra. 95-106
Paolo Di Blasio, Marco Temperini:
Subtyping Inheritance in Languages for Symbolic Computation Systems. 107-121
Jacques Calmet, Indra A. Tjandra:
A Unified-Algebra-Based Specification Language for Symbolic Computing. 122-133
Anthony C. Hearn, Eberhard Schrüfer:
An Order-Sorted Approach to Algebraic Computation. 134-144
Peter Fritzson, Vadim Engelson, Lars Viklund:
Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment. 145-163
Georgios Grivas, Roman Maeder:
Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench. 164-176
Philip S. Santas:
A Type System for Computer Algebra. 177-191

Automated Reasoning

Eugenio G. Omodeo, Alberto Policriti:
Decision Procedures for Set/Hyperset Contexts. 192-215
William M. Farmer, Joshua D. Guttman, F. Javier Thayer:
Reasoning with Contexts. 216-228
Ricardo Caferra, Michel Herment:
GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics. 229-240
Olga Caprotti:
Extending RISC-CLP (Real) to Handle Symbolic Functions. 241-255
Su Feng, Toshiki Sakabe, Yasuyoshi Inagaki:
Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning. 256-271
Maria Paola Bonacina, Jieh Hsiang:
Distributed Deduction by Clause-Diffusion: The Aquarius Prover. 272-287

Software Systems

Hoon Hong, Andreas Neubacher, Wolfgang Schreiner:
The Design of the SACLIB/PACLIB Kernels. 288-302
Richard Zippel:
The Weyl Computer Algebra Substrate. 303-318
Carla Limongelli, Marco Temperini:
On the Uniform Representation of Mathematical Data Structures. 319-330
A. C. Norman:
Compact Delivery Support for REDUCE. 331-340
Robert Fournier, Norbert Kajler, Bernard Mourrain:
IZIC: A Portable Language-Driven Tool for Mathematical Surfaces Visualization. 341-353

System Description

Serge D. Meshveliani:
The Algebraic Constructor CAC: Computing in Construction-Defined Domains. 354-359
Stephan A. Missura:
Extending AlgBench with a Type System. 359-363
Antonio Vantaggiato:
Modeling Finite Fields with Mathematica - Applications to the Computation of Exponential Sums and to the Solution of Equations over Finite Fields. 364-368
Sabina Bonamico, Gianna Cioni, Attilio Colagrossi:
An Enhanced Sequent Calculus for Reasoning in a Given Domain. 369-373
V. A. Nepomniaschy, A. A. Sulimov:
Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM. 374-378
Toby Walsh:
General Purpose Proof Plans. 379-383