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)

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
Contributor
Editor
Editor
Subject
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
Member of
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)
Instantiates
Publication
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)
Publication
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

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...