This volume constitutes the proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO '93), held in Gmunden, Austria, in September 1993. The growing importance of systems for symbolic computation has greatly influenced the decision of organizing this third conference in the series: DISCO '93 focuses mainly on the most innovative methodological and technological aspects of the design and implementation of hardware and software systems for symbolic and algebraic computation, automated reasoning, geometric modeling and computation, and automatic programming. The general objective of DISCO '93 is to present an up-to-date view of the field and to serve as a forum insymbolic computation for the scientific exchange among academic, industrial and user communities. Besides invited talks by Buchberger, Monagan, Omodeo and Hong, the volume contains 28 contributions, carefully selected by a highly competent international program committee from a total of 56 submissions.

Bibliographic Information

Book Title: Design and Implementation of Symbolic Computation Systems
Book Subtitle: International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings
Editors: Alfonso Miola
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0013162
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1993
Softcover ISBN: 978-3-540-57235-0Published: 02 September 1993
eBook ISBN: 978-3-540-47985-7Published: 23 November 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 392
Topics: Theory of Computation, Artificial Intelligence, Programming Techniques, Software Engineering, Programming Languages, Compilers, Interpreters, Symbolic and Algebraic Manipulation

Publish with us

Policies and ethics

Design and Implementation of Symbolic Computation Systems

Overview

Access this book

Other ways to access

Table of contents (32 papers)

Front Matter

Mathematica: A system for doing mathematics by computer?

Proving the correctness of algebraic implementations by the ISAR system

Sketching concepts and computational model of TROLL light

Analogical type theory

Improving the multiprecision Euclidean algorithm

Storage allocation for the Karatsuba integer multiplication algorithm

Process scheduling in DSC and the large sparse linear systems challenge

Gauss: a parameterized domain of computation system with support for signature functions

On coherence in computer algebra

Subtyping inheritance in languages for symbolic computation systems

A unified-algebra-based specification language for symbolic computing

An order-sorted approach to algebraic computation

Variant handling, inheritance and composition in the ObjectMath computer algebra environment

Matching and unification for the object-oriented symbolic computation system AlgBench

A type system for computer algebra

Decision procedures for set/hyperset contexts

Reasoning with contexts

GLEFATINF:A graphic framework for combining theorem provers and editing proofs for different logics

Extending RISC-CLP(Real) to handle symbolic functions

Other volumes