The Resource Advances in the Design of Symbolic Computation Systems, edited by Alfonso Miola, Marco Temperini
Advances in the Design of Symbolic Computation Systems, edited by Alfonso Miola, Marco Temperini
Resource Information
The item Advances in the Design of Symbolic Computation Systems, edited by Alfonso Miola, Marco Temperini represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Massey University Library, University of New Zealand.This item is available to borrow from 1 library branch.
Resource Information
The item Advances in the Design of Symbolic Computation Systems, edited by Alfonso Miola, Marco Temperini represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Massey University Library, University of New Zealand.
This item is available to borrow from 1 library branch.
 Summary
 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, objectoriented 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
 Language
 eng
 Extent
 1 online resource (x, 276 pages 39 illustrations)
 Contents

 State of the art and motivations
 Mathematica: doing mathematics by computer?
 An overview of the TASSO project
 Mathematical objects
 The uniform representation of mathematical objects by truncated power series
 padic arithmetic: a tool for errorfree computations
 Exact solution of computational problems via parallel truncated padic arithmetic
 A canonical form guide to symbolic summation
 Indexes in sums and series: from formal definition to objectoriented implementation
 Programming methodologies
 Equational specifications: design, implementation, and reasoning
 On the algebraic specification of classes and inheritance in objectoriented programming
 On subtyping in languages for symbolic computation systems
 Enhanced strict inheritance in TASSOL
 Reasoning capabilities
 Deduction and abduction using a sequent calculus
 A sequent calculus machine for symbolic computation systems
 Automated deduction by connection method in an objectoriented environment
 A general reasoning apparatus for intelligent tutoring systems in mathematics
 Isbn
 9783211828441
 Label
 Advances in the Design of Symbolic Computation Systems
 Title
 Advances in the Design of Symbolic Computation Systems
 Statement of responsibility
 edited by Alfonso Miola, Marco Temperini
 Language
 eng
 Summary
 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, objectoriented 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
 http://library.link/vocab/creatorName
 Miola, Alfonso
 Dewey number
 005.11
 Illustrations
 illustrations
 Index
 index present
 Literary form
 non fiction
 Nature of contents

 encyclopedias
 bibliography
 http://library.link/vocab/relatedWorkOrContributorName
 Temperini, M.
 Series statement
 Texts and Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, JohannesKeplerUniversity, Linz, Austria, 0943853X
 http://library.link/vocab/subjectName

 Computer science
 Algebra
 Algorithms
 Label
 Advances in the Design of Symbolic Computation Systems, edited by Alfonso Miola, Marco Temperini
 Bibliography note
 Includes bibliographical references and index
 Color
 not applicable
 Contents
 State of the art and motivations  Mathematica: doing mathematics by computer?  An overview of the TASSO project  Mathematical objects  The uniform representation of mathematical objects by truncated power series  padic arithmetic: a tool for errorfree computations  Exact solution of computational problems via parallel truncated padic arithmetic  A canonical form guide to symbolic summation  Indexes in sums and series: from formal definition to objectoriented implementation  Programming methodologies  Equational specifications: design, implementation, and reasoning  On the algebraic specification of classes and inheritance in objectoriented programming  On subtyping in languages for symbolic computation systems  Enhanced strict inheritance in TASSOL  Reasoning capabilities  Deduction and abduction using a sequent calculus  A sequent calculus machine for symbolic computation systems  Automated deduction by connection method in an objectoriented environment  A general reasoning apparatus for intelligent tutoring systems in mathematics
 Control code
 ocn840302725
 Dimensions
 unknown
 Extent
 1 online resource (x, 276 pages 39 illustrations)
 Form of item
 online
 Isbn
 9783211828441
 Note
 SpringerLink
 Specific material designation
 remote
 System control number
 (OCoLC)840302725
 Label
 Advances in the Design of Symbolic Computation Systems, edited by Alfonso Miola, Marco Temperini
 Bibliography note
 Includes bibliographical references and index
 Color
 not applicable
 Contents
 State of the art and motivations  Mathematica: doing mathematics by computer?  An overview of the TASSO project  Mathematical objects  The uniform representation of mathematical objects by truncated power series  padic arithmetic: a tool for errorfree computations  Exact solution of computational problems via parallel truncated padic arithmetic  A canonical form guide to symbolic summation  Indexes in sums and series: from formal definition to objectoriented implementation  Programming methodologies  Equational specifications: design, implementation, and reasoning  On the algebraic specification of classes and inheritance in objectoriented programming  On subtyping in languages for symbolic computation systems  Enhanced strict inheritance in TASSOL  Reasoning capabilities  Deduction and abduction using a sequent calculus  A sequent calculus machine for symbolic computation systems  Automated deduction by connection method in an objectoriented environment  A general reasoning apparatus for intelligent tutoring systems in mathematics
 Control code
 ocn840302725
 Dimensions
 unknown
 Extent
 1 online resource (x, 276 pages 39 illustrations)
 Form of item
 online
 Isbn
 9783211828441
 Note
 SpringerLink
 Specific material designation
 remote
 System control number
 (OCoLC)840302725
Library Links
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.massey.ac.nz/portal/AdvancesintheDesignofSymbolicComputation/NFe1WFUFbdA/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.massey.ac.nz/portal/AdvancesintheDesignofSymbolicComputation/NFe1WFUFbdA/">Advances in the Design of Symbolic Computation Systems, edited by Alfonso Miola, Marco Temperini</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.massey.ac.nz/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.massey.ac.nz/">Massey University Library, University of New Zealand</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Advances in the Design of Symbolic Computation Systems, edited by Alfonso Miola, Marco Temperini
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.massey.ac.nz/portal/AdvancesintheDesignofSymbolicComputation/NFe1WFUFbdA/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.massey.ac.nz/portal/AdvancesintheDesignofSymbolicComputation/NFe1WFUFbdA/">Advances in the Design of Symbolic Computation Systems, edited by Alfonso Miola, Marco Temperini</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.massey.ac.nz/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.massey.ac.nz/">Massey University Library, University of New Zealand</a></span></span></span></span></div>