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.
CITATION STYLE
Karczmarczuk, J. (1995). Functional programming and mathematical objects. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1022, pp. 121–137). Springer Verlag. https://doi.org/10.1007/3-540-60675-0_42
Mendeley helps you to discover research relevant for your work.