Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Design and Implementation of Symbolic Computation Systems

DISCO 1990: Design and Implementation of Symbolic Computation Systems pp 71–80Cite as

Programming paradigms for symbolic computation systems analysis of an example

  • Symbolic And Algebraic Computation — Implementation Methods And Techniques
  • Conference paper
  • First Online:

  • 122 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 429))

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.

Unable to display preview. Download preview PDF.

6. References

  1. Apel J., Lassner W., Computation of reduced Groebner bases and syzygies in enveloping algebras. SYMSAC 86.

    Google Scholar 

  2. Apel J., Lassner W., Computation and simplification in Lie fields. Full paper presented at the EUROCAL 87.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. Goldberg A., Robson D., SMALLTALK 80: The language and its implementation, Addison Wesley, Reading Mass., 1983.

    Google Scholar 

  7. LOGLAN 82 Programming Language, Polish Scientific Publishers, Warsaw 1982.

    Google Scholar 

  8. Siekmann, J., Automated deduction and data basis, Report Univ. of Karlsruhe, 1989.

    Google Scholar 

  9. Dahl, O., et al., SIMULA 67, Norwegian Comp. Centre, Oslo, 1967.

    Google Scholar 

  10. Szczepanska D., The Program Differ, in Proc.Summer School on LOGLAN, 1982, to app. Warsaw University.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, Karl Marx University, 7010, Leipzig, German Democratic Republic

    Uwe Petermann

Authors
  1. Uwe Petermann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Alfonso Miola

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation