This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996.
The volume includes four invited contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed.
Author(s): W. Bibel, D. Korn, C. Kreitz, S. Schmitt (auth.), Jacques Calmet, Carla Limongelli (eds.)
Series: Lecture Notes in Computer Science 1128
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Language: English
Pages: 362
Tags: Symbolic and Algebraic Manipulation; Algorithms; Software Engineering/Programming and Operating Systems; Artificial Intelligence (incl. Robotics)
Problem-oriented applications of automated theorem proving....Pages 1-21
Σ IT — A strongly-typed embeddable computer algebra library....Pages 22-33
Disc Atinf : A general framework for implementing calculi and strategies....Pages 34-45
Equality elimination for the tableau method....Pages 46-60
Towards lean proof checking....Pages 61-62
WALDMEISTER: High performance equation theorem proving....Pages 63-64
A reflective language based on conditional term rewriting....Pages 65-66
Term rewriting systems: An h-categorical semantic....Pages 67-78
Generative geometric modeling in a functional environment....Pages 79-97
Exploiting SML for experimenting with algebraic algorithms: The example of p -adic lifting....Pages 98-111
Conditional categories and domains....Pages 112-125
Parameterizing object specifications....Pages 126-137
Analyzing the dynamics of a Z specification....Pages 138-149
Walking faster....Pages 150-161
Integer and rational arithmetic on masPar....Pages 162-173
Parallel 3-primes FFT algorithm....Pages 174-182
A master-slave approach to parallel term rewriting on a hierarchical multiprocessor....Pages 183-194
Multi-agent cooperation — Concepts and applications....Pages 195-197
Document-centered presentation of computing software: Compound documents are better workspaces....Pages 198-199
Animating a non-executable formal specification with a distributed symbolic language....Pages 200-201
Uniform representation of basic algebraic structures in computer algebra....Pages 202-203
Integrating computer algebra with proof planning....Pages 204-215
Structures for symbolic mathematical reasoning and computation....Pages 216-227
Implementing FS 0 in Isabelle: Adding structure at the metalevel....Pages 228-239
An approach to class reasoning in symbolic computation....Pages 240-251
An intelligent interface to numerical routines....Pages 252-262
Computer algebra and the World Wide Web....Pages 263-270
Interfacing REDUCE to Java....Pages 271-276
Software architectures for computer algebra: A case study....Pages 277-286
A deductive database for mathematical formulas....Pages 287-296
CASA — A system for Computer Aided Constructive Algebraic geometry....Pages 297-307
Making systems communicate and cooperate: The Central Control approach....Pages 308-319
A database for number fields....Pages 320-330
Compiling residuation for a multiparadigm symbolic programming language....Pages 331-342
Pluggability issues in the Multi Protocol....Pages 343-356
