Functional programming applied to computational algebra
| dc.contributor.author | Kessler, Ian Holm, author | |
| dc.contributor.author | Wilson, James B., advisor | |
| dc.contributor.author | Patel, Amit, committee member | |
| dc.contributor.author | Chitsaz, Hamidreza, committee member | |
| dc.date.accessioned | 2019-01-07T17:19:02Z | |
| dc.date.available | 2019-01-07T17:19:02Z | |
| dc.date.issued | 2018 | |
| dc.description.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. | |
| dc.format.medium | born digital | |
| dc.format.medium | masters theses | |
| dc.identifier | Kessler_colostate_0053N_14914.pdf | |
| dc.identifier.uri | https://hdl.handle.net/10217/193082 | |
| dc.language | English | |
| dc.language.iso | eng | |
| dc.publisher | Colorado State University. Libraries | |
| dc.relation.ispartof | 2000-2019 | |
| dc.rights | Copyright and other restrictions may apply. User is responsible for compliance with all applicable laws. For information about copyright law, please see https://libguides.colostate.edu/copyright. | |
| dc.subject | computer algebra | |
| dc.subject | functional programming | |
| dc.subject | category theory | |
| dc.subject.lcsh | Scala | |
| dc.title | Functional programming applied to computational algebra | |
| dc.type | Text | |
| dcterms.rights.dpla | This Item is protected by copyright and/or related rights (https://rightsstatements.org/vocab/InC/1.0/). You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s). | |
| thesis.degree.discipline | Mathematics | |
| thesis.degree.grantor | Colorado State University | |
| thesis.degree.level | Masters | |
| thesis.degree.name | Master of Science (M.S.) |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Kessler_colostate_0053N_14914.pdf
- Size:
- 263.22 KB
- Format:
- Adobe Portable Document Format