Skip to main content
SpringerLink
Log in

Design and Implementation of Symbolic Computation Systems

International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Jacques Calmet
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Carla Limongelli
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1128)

Included in the following conference series:

Conference proceedings info: DISCO 1996.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (35 papers)

  1. Front Matter

    Download chapter PDF

  2. Problem-oriented applications of automated theorem proving

    • W. Bibel, D. Korn, C. Kreitz, S. Schmitt
    Pages 1-21

  3. ΣIT — A strongly-typed embeddable computer algebra library

    • Manuel Bronstein
    Pages 22-33

  4. DiscAtinf: A general framework for implementing calculi and strategies

    • Christophe Bourely, Nicolas Peltier
    Pages 34-45

  5. Equality elimination for the tableau method

    • Anatoli Degtyarev, Andrei Voronkov
    Pages 46-60

  6. Towards lean proof checking

    • G. Barthe, H. Elbers
    Pages 61-62

  7. WALDMEISTER: High performance equation theorem proving

    • Arnim Buch, Thomas Hillenbrand, Roland Fettig
    Pages 63-64

  8. A reflective language based on conditional term rewriting

    • Masanobu Numazawa, Masahito Kurihara, Azuma Ohuchi
    Pages 65-66

  9. Term rewriting systems: An h-categorical semantic

    • Giulio Balestreri
    Pages 67-78

  10. Generative geometric modeling in a functional environment

    • Alberto Paoluzzi
    Pages 79-97

  11. Exploiting SML for experimenting with algebraic algorithms: The example of p-adic lifting

    • Wolfgang Gehrke, Carla Limongelli
    Pages 98-111

  12. Conditional categories and domains

    • Philip S. Santas
    Pages 112-125

  13. Parameterizing object specifications

    • Martin Gogolla
    Pages 126-137

  14. Analyzing the dynamics of a Z specification

    • Paolo Ciancarini, Cecilia Mascolo
    Pages 138-149

  15. Walking faster

    • Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin
    Pages 150-161

  16. Integer and rational arithmetic on masPar

    • Tudor Jebelean
    Pages 162-173

  17. Parallel 3-primes FFT algorithm

    • Giovanni Cesari, Roman Maeder
    Pages 174-182

  18. A master-slave approach to parallel term rewriting on a hierarchical multiprocessor

    • Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
    Pages 183-194

  19. Multi-agent cooperation — Concepts and applications

    • Hans Haugeneder, Donald Steiner
    Pages 195-197

  20. Document-centered presentation of computing software: Compound documents are better workspaces

    • Wolfgang Weck
    Pages 198-199
Back to top

Other volumes

  1. Design and Implementation of Symbolic Computation Systems

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation