Skip to main content
SpringerLink
Log in
Book cover

Advances in the Design of Symbolic Computation Systems

  • Book
  • © 1997

Overview

Editors:
  1. Alfonso Miola

    1. Dipartimento di Informatica e Automazione, Università degli Studi di Roma Tre, Rome, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marco Temperini

    1. Dipartimento di Informatica e Sistemistica, Università degli Studi di Roma “La Sapienza”, Rome, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Texts & Monographs in Symbolic Computation (TEXTSMONOGR)

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

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (15 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. State of the art and motivations

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Mathematica: doing mathematics by computer?

      • B. Buchberger
      Pages 2-20

    3. An overview of the TASSO project

      • A. Miola
      Pages 21-29

  4. Programming methodologies

    1. Front Matter

      Pages 125-125
      Download chapter PDF

    2. Equational specifications: design, implementation, and reasoning

      • S. Antoy, P. Forcheri, J. Gannon, M. T. Molfino
      Pages 126-144

    3. On the algebraic specification of classes and inheritance in object-oriented programming

      • F. Parisi-Presicce, A. Pierantonio
      Pages 145-163

    4. On subtyping in languages for symbolic computation systems

      • P. Di Blasio, M. Temperini
      Pages 164-178

    5. Enhanced strict inheritance in TASSO-L

      • P. Di Blasio, M. Temperini, P. Terlizzi
      Pages 179-195

  5. Reasoning capabilities

    1. Front Matter

      Pages 197-197
      Download chapter PDF

    2. Deduction and abduction using a sequent calculus

      • G. Cioni, A. Colagrossi, A. Miola
      Pages 198-216

    3. A sequent calculus machine for symbolic computation systems

      • P. Bertoli, G. Cioni, A. Colagrossi, P. Terlizzi
      Pages 217-229

    4. Automated deduction by connection method in an object-oriented environment

      • G. Cioni, G. Patrizi, M. Temperini
      Pages 230-244

    5. A general reasoning apparatus for intelligent tutoring systems in mathematics

      • A. Colagrossi, A. Micarelli
      Pages 245-256
Back to top

Keywords

About this book

New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation. The proposed methodology is based on a combination of different techniques: algebraic specification through modular approach and completion algorithms, approximated and exact algebraic computing methods, object-oriented programming paradigm, automated theorem proving through methods à la Hilbert and methods of natural deduction. In particular the proposed treatment of mathematical objects, via techniques for method abstraction, structures classification, and exact representation, the programming methodology which supports the design and implementation issues, and reasoning capabilities supported by the whole framework are described.

Editors and Affiliations

  • Dipartimento di Informatica e Automazione, Università degli Studi di Roma Tre, Rome, Italy

    Alfonso Miola

  • Dipartimento di Informatica e Sistemistica, Università degli Studi di Roma “La Sapienza”, Rome, Italy

    Marco Temperini

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation