Advances in the Design of Symbolic Computation Systems

The Resource Advances in the Design of Symbolic Computation Systems
Label
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
Series statement
Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,

Context

Context of Advances in the Design of Symbolic Computation Systems

Work of

Zepheira Logo
Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Oklahoma Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...