Abstract specification of structures and methods in symbolic mathematical computation (Q1199931): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Carla Limongelli / rank | |||
Property / author | |||
Property / author: Marco Temperini / rank | |||
Revision as of 00:46, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Abstract specification of structures and methods in symbolic mathematical computation |
scientific article |
Statements
Abstract specification of structures and methods in symbolic mathematical computation (English)
0 references
17 January 1993
0 references
Specification and treatment of mathematical objects (e.g. functions, relations, logical formulas, and general data structures) are considered and an object-oriented programming approach to support the design and implementation of a symbolic computation system is presented. The features of the symbolic computation are enlarged by the manipulation of logical properties of the data structure. Classification of algebraic data structures (semigroup, monoid, group, Abelian group, ring, etc.; sorts are not specified, only symbolic computations can be performed), parametric structures (e.g. matrices, polynomials, power series; partial sorts, additional operations and properties), and ground structures (completely specified, both symbolic and numerical computations are allowed) are carried out. The main features of the object-oriented programming can be expressed by the scheme Object \(+\) Class \(+\) Inheritance (e.g. group is obtained by inheritance from monoid, etc.). Examples of structure and method abstraction are discussed. A partial implementation (by Loglan language) of the abstract class ring, the parametric class matrix and the ground class integer-number is shown. The Hensel lifting algorithm is listed.
0 references
specification of mathematical objects
0 references
object-oriented programming
0 references