Borrow it
- Architecture Library
- Bizzell Memorial Library
- Boorstin Collection
- Chinese Literature Translation Archive
- Engineering Library
- Fine Arts Library
- Harry W. Bass Business History Collection
- History of Science Collections
- John and Mary Nichols Rare Books and Special Collections
- Library Service Center
- Price College Digital Library
- Western History Collections
The Resource Advances in the Design of Symbolic Computation Systems, edited by Alfonso Miola, Marco Temperini, (electronic resource)
Advances in the Design of Symbolic Computation Systems, edited by Alfonso Miola, Marco Temperini, (electronic resource)
Resource Information
The item Advances in the Design of Symbolic Computation Systems, edited by Alfonso Miola, Marco Temperini, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.This item is available to borrow from all library branches.
Resource Information
The item Advances in the Design of Symbolic Computation Systems, edited by Alfonso Miola, Marco Temperini, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.
This item is available to borrow from all library branches.
- 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, 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
- Language
-
- eng
- eng
- Edition
- 1st ed. 1997.
- Extent
- 1 online resource (X, 276 p. 4 illus.)
- Note
- Bibliographic Level Mode of Issuance: Monograph
- 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
- p-adic arithmetic: a tool for error-free computations
- Exact solution of computational problems via parallel truncated p-adic arithmetic
- A canonical form guide to symbolic summation
- Indexes in sums and series: from formal definition to object-oriented implementation
- Programming methodologies
- Equational specifications: design, implementation, and reasoning
- On the algebraic specification of classes and inheritance in object-oriented programming
- On subtyping in languages for symbolic computation systems
- Enhanced strict inheritance in TASSO-L
- Reasoning capabilities
- Deduction and abduction using a sequent calculus
- A sequent calculus machine for symbolic computation systems
- Automated deduction by connection method in an object-oriented environment
- A general reasoning apparatus for intelligent tutoring systems in mathematics
- Isbn
- 9783709165317
- 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
- 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, 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
- Dewey number
- 004.2/1
- http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt
-
- HnZKqyQPTQg
- sY1-Ed68nSw
- Image bit depth
- 0
- Language note
- English
- LC call number
- QA76.758
- Literary form
- non fiction
- Nature of contents
- dictionaries
- http://library.link/vocab/relatedWorkOrContributorName
-
- Miola, Alfonso.
- Temperini, Marco.
- Series statement
- Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,
- http://library.link/vocab/subjectName
-
- Software engineering
- Computer science
- Information theory
- Algebra
- Algorithms
- Software Engineering/Programming and Operating Systems
- Programming Languages, Compilers, Interpreters
- Theory of Computation
- Programming Techniques
- Symbolic and Algebraic Manipulation
- Algorithms
- Label
- Advances in the Design of Symbolic Computation Systems, edited by Alfonso Miola, Marco Temperini, (electronic resource)
- Note
- Bibliographic Level Mode of Issuance: Monograph
- Antecedent source
- mixed
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Color
- not applicable
- Content category
- text
- Content type code
-
- txt
- 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 -- p-adic arithmetic: a tool for error-free computations -- Exact solution of computational problems via parallel truncated p-adic arithmetic -- A canonical form guide to symbolic summation -- Indexes in sums and series: from formal definition to object-oriented implementation -- Programming methodologies -- Equational specifications: design, implementation, and reasoning -- On the algebraic specification of classes and inheritance in object-oriented programming -- On subtyping in languages for symbolic computation systems -- Enhanced strict inheritance in TASSO-L -- Reasoning capabilities -- Deduction and abduction using a sequent calculus -- A sequent calculus machine for symbolic computation systems -- Automated deduction by connection method in an object-oriented environment -- A general reasoning apparatus for intelligent tutoring systems in mathematics
- Dimensions
- unknown
- Edition
- 1st ed. 1997.
- Extent
- 1 online resource (X, 276 p. 4 illus.)
- File format
- multiple file formats
- Form of item
- online
- Isbn
- 9783709165317
- Level of compression
- uncompressed
- Media category
- computer
- Media type code
-
- c
- Other control number
- 10.1007/978-3-7091-6531-7
- Quality assurance targets
- absent
- Reformatting quality
- access
- Specific material designation
- remote
- System control number
-
- (CKB)3400000000110679
- (SSID)ssj0000805042
- (PQKBManifestationID)11466992
- (PQKBTitleCode)TC0000805042
- (PQKBWorkID)10823186
- (PQKB)11354368
- (DE-He213)978-3-7091-6531-7
- (MiAaPQ)EBC3099569
- (EXLCZ)993400000000110679
- Label
- Advances in the Design of Symbolic Computation Systems, edited by Alfonso Miola, Marco Temperini, (electronic resource)
- Note
- Bibliographic Level Mode of Issuance: Monograph
- Antecedent source
- mixed
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Color
- not applicable
- Content category
- text
- Content type code
-
- txt
- 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 -- p-adic arithmetic: a tool for error-free computations -- Exact solution of computational problems via parallel truncated p-adic arithmetic -- A canonical form guide to symbolic summation -- Indexes in sums and series: from formal definition to object-oriented implementation -- Programming methodologies -- Equational specifications: design, implementation, and reasoning -- On the algebraic specification of classes and inheritance in object-oriented programming -- On subtyping in languages for symbolic computation systems -- Enhanced strict inheritance in TASSO-L -- Reasoning capabilities -- Deduction and abduction using a sequent calculus -- A sequent calculus machine for symbolic computation systems -- Automated deduction by connection method in an object-oriented environment -- A general reasoning apparatus for intelligent tutoring systems in mathematics
- Dimensions
- unknown
- Edition
- 1st ed. 1997.
- Extent
- 1 online resource (X, 276 p. 4 illus.)
- File format
- multiple file formats
- Form of item
- online
- Isbn
- 9783709165317
- Level of compression
- uncompressed
- Media category
- computer
- Media type code
-
- c
- Other control number
- 10.1007/978-3-7091-6531-7
- Quality assurance targets
- absent
- Reformatting quality
- access
- Specific material designation
- remote
- System control number
-
- (CKB)3400000000110679
- (SSID)ssj0000805042
- (PQKBManifestationID)11466992
- (PQKBTitleCode)TC0000805042
- (PQKBWorkID)10823186
- (PQKB)11354368
- (DE-He213)978-3-7091-6531-7
- (MiAaPQ)EBC3099569
- (EXLCZ)993400000000110679
Subject
- Algebra -- Data processing
- Algorithms
- Algorithms
- Computer science
- Information theory
- Programming Languages, Compilers, Interpreters
- Programming Techniques
- Software Engineering/Programming and Operating Systems
- Software engineering
- Symbolic and Algebraic Manipulation
- Theory of Computation
Member of
Library Locations
-
Architecture LibraryBorrow itGould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US35.205706 -97.445050
-
-
-
Chinese Literature Translation ArchiveBorrow it401 W. Brooks St., RM 414, Norman, OK, 73019, US35.207487 -97.447906
-
Engineering LibraryBorrow itFelgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US35.205706 -97.445050
-
Fine Arts LibraryBorrow itCatlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US35.210371 -97.448244
-
Harry W. Bass Business History CollectionBorrow it401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US35.207487 -97.447906
-
History of Science CollectionsBorrow it401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US35.207487 -97.447906
-
John and Mary Nichols Rare Books and Special CollectionsBorrow it401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US35.207487 -97.447906
-
-
Price College Digital LibraryBorrow itAdams Hall 102 307 West Brooks St., Norman, OK, 73019, US35.210371 -97.448244
-
Western History CollectionsBorrow itMonnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US35.209584 -97.445414
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 fa-external-link-square fa-fw"></i> Data from <span resource="http://link.libraries.ou.edu/portal/Advances-in-the-Design-of-Symbolic-Computation/EDK--sjJMbk/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/portal/Advances-in-the-Design-of-Symbolic-Computation/EDK--sjJMbk/">Advances in the Design of Symbolic Computation Systems, edited by Alfonso Miola, Marco Temperini, (electronic resource)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</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, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.libraries.ou.edu/portal/Advances-in-the-Design-of-Symbolic-Computation/EDK--sjJMbk/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/portal/Advances-in-the-Design-of-Symbolic-Computation/EDK--sjJMbk/">Advances in the Design of Symbolic Computation Systems, edited by Alfonso Miola, Marco Temperini, (electronic resource)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>