Repository logo
 

Functional programming applied to computational algebra

Date

2018

Authors

Kessler, Ian Holm, author
Wilson, James B., advisor
Patel, Amit, committee member
Chitsaz, Hamidreza, committee member

Journal Title

Journal ISSN

Volume Title

Abstract

Underlying many, if not all, areas of mathematics is category theory, an alternative to set theory as a foundation that formalizes mathematical structures and relations between them. These relations abstract the idea of a function, an abstraction used throughout mathematics as well as throughout programming. However, there is a disparity between the definition of a function used in mathematics from that used in mainstream programming. For mathematicians to utilize the power of programming to advance their mathematics, there is a demand for a paradigm of programming that uses mathematical functions, as well as the mathematical categories that support them, as the basic building blocks, enabling programs to be built by clever mathematics. This paradigm is functional programming. We wish to use functional programming to represent our mathematical structures, especially those used in computational algebra.

Description

Rights Access

Subject

computer algebra
Scala
functional programming
category theory

Citation

Associated Publications