Abstract specification of structures and methods in symbolic mathematical computation

DOI10.1016/0304-3975(92)90167-EMaRDI QIDQ1199931zbMATH OpenFDO

Authors Carla Limongelli, Marco Temperini

Publication date 17 January 1993

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(92)90167-E

zbMATH Keywords

object-oriented programmingspecification of mathematical objects

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Symbolic computation and algebraic computation (68W30)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 5199000
• scientific article; zbMATH DE number 1263384
• scientific article; zbMATH DE number 125112
• Object systematization and paradigms of computational mathematics
• scientific article; zbMATH DE number 4055029

Cites work

• scientific article; zbMATH DE number 3734057 (Why is no real title available?)
• scientific article; zbMATH DE number 47959 (Why is no real title available?)
• MACSYMA from F to G
• Solving algebraic problems with REDUCE

Cited in

(9)

• Objects in algebraic programming system
• scientific article; zbMATH DE number 1597553 (Why is no real title available?)
• scientific article; zbMATH DE number 1617302 (Why is no real title available?)
• Methods and techniques for defining parametrized types in mathematics
• scientific article; zbMATH DE number 1263384 (Why is no real title available?)
• scientific article; zbMATH DE number 1263432 (Why is no real title available?)
• scientific article; zbMATH DE number 1350001 (Why is no real title available?)
• scientific article; zbMATH DE number 1086644 (Why is no real title available?)
• scientific article; zbMATH DE number 2217732 (Why is no real title available?)

Describes a project that uses

Uses Software

• Eiffel

This page was built for publication: Abstract specification of structures and methods in symbolic mathematical computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1199931)