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 BibTeX

@proceedings{DBLP:conf/disco/1993,
  editor    = {Alfonso Miola},
  title     = {Design and Implementation of Symbolic Computation Systems, International
               Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993,
               Proceedings},
  booktitle = {DISCO},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {722},
  year      = {1993},
  isbn      = {3-540-57235-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

Theoretical Aspects

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

Algorithm Implementation

Tudor Jebelean: Improving the Multiprecision Euclidian Algorithm. 45-58 BibTeX
Roman Maeder: Storage Allocation for the Karatsuba Integer Multipliation Algorithm. 59-65 BibTeX
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 BibTeX

Programming with Types

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

Automated Reasoning

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

Software Systems

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

System Description

Serge D. Meshveliani: The Algebraic Constructor CAC: Computing in Construction-Defined Domains. 354-359 BibTeX
Stephan A. Missura: Extending AlgBench with a Type System. 359-363 BibTeX
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 BibTeX
Sabina Bonamico, Gianna Cioni, Attilio Colagrossi: An Enhanced Sequent Calculus for Reasoning in a Given Domain. 369-373 BibTeX
V. A. Nepomniaschy, A. A. Sulimov: Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM. 374-378 BibTeX
Toby Walsh: General Purpose Proof Plans. 379-383 BibTeX