Abstract
This paper outlines a methodology for the design and implementation of computational symbolic methods that deal with indexed objects, such as variables and functions, appearing in sums and series. We experimented how an integrated design environment, that provides executable object-oriented specifications for axiomatizable mathematical structures, allows to derive a computational system directly from the underlying algebraic properties of the structures to be manipulated. From the formal characterization of indexed objects and of sums and series, we produce the specification of the abstract data types necessary for a correct manipulation of these symbolic objects in CLOS object-oriented environment.
This work has been partially supported by “Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo” of CNR
Preview
Unable to display preview. Download preview PDF.
References
D. G. Bobrow, L. G. DeMichiel, R. P. Gabriel, K. Kahn, S. E. Keene, G. Kiczales, D. A. Moon, M. Stefik, and D. L. Weinreb. Common Lisp Object System Specification. Technical Report 88-002, X3J13, ANSI Common Lisp Standard Committee, July 1988.
O. Caprotti. A Formal Characterization of Indexed Mathematical Objects for the Manipulation of Sums and Series. Technical Report RISC-Linz Series no. 91-26.0, RISC-Linz, Research Institute for Symbolic Computation, Linz, Austria, June 1991.
G. Cioni and A. Miola. Specification and Programming Methodologies for Axiomatizable Objects Manipulation: TASSO Project. Technical report, Istituto di Analisi dei Sistemi ed Informatica, CNR, Roma, Italy, 1990.
R. D. Jenks and B. M. Trager. A Language for Computational Algebra. In Symposium on Symbolic and Algebraic Manipulation, ACM, Snowbird, Utah, August 1981.
C. Limongelli and M. Temperini. Abstract specification of structures and methods in symbolic mathematical computation. Theoretical Computer Science, 1991. To appear.
A. Miola. Design Specifications for Manipulation of Sums and Series. Technical Report R.66, Istituto di Analisi dei Sistemi ed Informatica, CNR, Roma, Italy, 1983.
A. Miola. An Interactive System for Manipulation of Sums and Series. In International Conference on Artificial Intelligence, AIMSA, Varna, September 1984.
G. L. Jr. Steele. Common Lisp, The Language. Digital Press, Burlington, MA, 1984.
W. Shen, B. Wall, and D. Wang. Manipulating Uncertain Mathematical Objects: The Case of Indefinite Sums and Products. Proc. DISCO'92 (this volume), 1992.
D. Wang. Differentiation and Integration of Indefinite Summations. Technical Report RISC-Linz Series no. 90-37.0, RISC-Linz, Research Institute for Symbolic Computation, Linz, Austria, August 1990.
D. Wang. A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks. ACM SIGSAM Bulletin, 25(3):18–27, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Caprotti, O. (1993). An object-oriented approach to indexed mathematical objects for the manipulation of sums and series. In: Fitch, J. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1992. Lecture Notes in Computer Science, vol 721. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57272-4_36
Download citation
DOI: https://doi.org/10.1007/3-540-57272-4_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57272-5
Online ISBN: 978-3-540-48031-0
eBook Packages: Springer Book Archive