In Praise of Sequence (Co-)Algebra and its implementation in Haskell

12/14/2018
by   Kieran Clenaghan, et al.
0

What is Sequence Algebra? This is a question that any teacher or student of mathematics or computer science can engage with. Sequences are in Calculus, Combinatorics, Statistics and Computation. They are foundational, a step up from number arithmetic. Sequence operations are easy to implement from scratch (in Haskell) and afford a wide variety of testing and experimentation. When bits and pieces of sequence algebra are pulled together from the literature, there emerges a claim for status as a substantial pre-analysis topic. Here we set the stage by bringing together a variety of sequence algebra concepts for the first time in one paper. This provides a novel economical overview, intended to invite a broad mathematical audience to cast an eye over the subject. A complete, yet succinct, basic implementation of sequence operations is presented, ready to play with. The implementation also serves as a benchmark for introducing Haskell by mathematical example.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/22/2021

A Succinct Multivariate Lazy Multivariate Tower AD for Weil Algebra Computation

We propose a functional implementation of Multivariate Tower Automatic D...
research
05/03/2016

Using Two Types of Computer Algebra Systems to Solve Maxwell Optics Problems

To synthesize Maxwell optics systems, the mathematical apparatus of tens...
research
06/06/2019

New Features in the Second Version of the Cadabra Computer Algebra System

In certain scientific domains, there is a need for tensor operations. To...
research
09/28/2021

Not another computer algebra system: Highlighting wxMaxima in calculus

This article introduces and explains a computer algebra system (CAS) wxM...
research
08/19/2017

Computer Algebra for Microhydrodynamics

I describe a method for computer algebra that helps with laborious calcu...
research
03/24/2021

Similarity-Based Equational Inference in Physics

Derivation in physics, in the form of derivation reconstruction of publi...
research
04/02/2019

Analysing Mathematical Reasoning Abilities of Neural Models

Mathematical reasoning---a core ability within human intelligence---pres...

Please sign up or login with your details

Forgot password? Click here to reset