Skip to main content
SpringerLink
Log in

Functional programming and mathematical objects

  • Understanding LOLITA
  • Conference paper
  • First Online:
Funtional Programming Languages in Education (FPLE 1995)

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

Abstract

We discuss the application of the Haskell/Gofer type classes and constructor classes to the implementation and teaching of the manipulation techniques in the domain of formal mathematical expressions. We show also how the lazy evaluation paradigms simplify the construction and the presentation of several algorithms dealing with iterative data types, such as power series or formal Padé expansion. We show the application of higher order functions to algebra and geometry, and specifically — to the construction of parametric surfaces.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. D. Guntz, M. Monagan, Introduction to Gauss, Sigsam Bulletin 28, no. 2, (1994), pp 3–19.

    Google Scholar 

  2. P. Hudak, S. Peyton Jones, P. Wadler et al., Report on the programming language Haskell, (Version 1.3), Technical report Yale University/Glasgow University, (1995).

    Google Scholar 

  3. Mark P. Jones, Gofer, Functional Programming Environment, (1991).

    Google Scholar 

  4. Donald E. Knuth, The Art of Computer Programming, Vol 2 / Seminumerical Algorithms, Addison-Wesley, Reading, (1981).

    Google Scholar 

  5. Lloyd Allison, Circular Programs and Self-referential Structures, Software — Practice and Experience, Vol. 19(2), (1989), pp. 99–109.

    Google Scholar 

  6. H. T. Kung, J. F. Traub, JACM 25 (1978), pp. 245–260.

    Google Scholar 

  7. Jerzy Karczmarczuk, Lazy Functional Programming and Manipulation of Perturbation Series, Proc. III International Workshop on Software Engineering for High Energy Physics, (1993), pp. 571–581.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, University of Caen, France

    Jerzy Karczmarczuk

Authors
  1. Jerzy Karczmarczuk
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Pieter H. Hartel Rinus Plasmeijer

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Karczmarczuk, J. (1995). Functional programming and mathematical objects. In: Hartel, P.H., Plasmeijer, R. (eds) Funtional Programming Languages in Education. FPLE 1995. Lecture Notes in Computer Science, vol 1022. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60675-0_42

Download citation

  • DOI: https://doi.org/10.1007/3-540-60675-0_42

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60675-8

  • Online ISBN: 978-3-540-49252-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation