Abstract
The aim of the paper is a discussion of programming paradigms suitable for the design of Symbolic Computation Systems. In a case study the object oriented programming language LOGLAN has been used for the implementation of algorithms for computations in non-commutative polynomial algebras and their quotient skew fields. The discussion is focused at the combination of classical programming paradigms e.g. module nesting with the object oriented programming paradigm.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
6. References
Apel J., Lassner W., Computation of reduced Groebner bases and syzygies in enveloping algebras. SYMSAC 86.
Apel J., Lassner W., Computation and simplification in Lie fields. Full paper presented at the EUROCAL 87.
Apel J., Petermann U., A program for algebraic computation in quotient skew fields of enveloping algebras of Lie algebras — An application of LOGLAN 82. subm. to ISSAC 88, to app.
Buchberger B., History and Basic Features of the Critical-Pair/Completion Procedure, J. of Symbolic Computation, Vol. 3, Nos 1&2, Febr./April 1987, pp. 3–38.
Cioni G., Kreczmar A., Solving Logic Problems by Object Oriented Languages, Cons. Naz. di Ricerche, Istituto di Analisi dei Systemi ed Informatica, R. 158, June 1986.
Goldberg A., Robson D., SMALLTALK 80: The language and its implementation, Addison Wesley, Reading Mass., 1983.
LOGLAN 82 Programming Language, Polish Scientific Publishers, Warsaw 1982.
Siekmann, J., Automated deduction and data basis, Report Univ. of Karlsruhe, 1989.
Dahl, O., et al., SIMULA 67, Norwegian Comp. Centre, Oslo, 1967.
Szczepanska D., The Program Differ, in Proc.Summer School on LOGLAN, 1982, to app. Warsaw University.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Petermann, U. (1990). Programming paradigms for symbolic computation systems analysis of an example. In: Miola, A. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1990. Lecture Notes in Computer Science, vol 429. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52531-9_126
Download citation
DOI: https://doi.org/10.1007/3-540-52531-9_126
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52531-8
Online ISBN: 978-3-540-47014-4
eBook Packages: Springer Book Archive