eCite Digital Repository

Toward a Calculus of Algorithms

Citation

Bulmer, M and Fearnley-Sander, DP and Stokes, TE, Toward a Calculus of Algorithms, Bulletin of the Australian Mathematical Society, 50, (1) pp. 81-89. ISSN 0004-9727 (1995) [Refereed Article]

DOI: doi:10.1017/S000497270000959X

Abstract

We develop a generalised polynomial formalism which captures the concept of an algebra of piece-wise denned polynomials. The formalism is based on the Boolean power construction of universal algebra. A generalisation of the theory of substitution homomorphisms is developed. The abstract operation of composition of generalised polynomials in one variable is denned and shown to correspond to function composition. © 1994, Australian Mathematical Society. All rights reserved.

Item Details

Item Type:Refereed Article
Research Division:Mathematical Sciences
Research Group:Pure Mathematics
Research Field:Combinatorics and Discrete Mathematics (excl. Physical Combinatorics)
Objective Division:Expanding Knowledge
Objective Group:Expanding Knowledge
Objective Field:Expanding Knowledge in the Mathematical Sciences
Author:Fearnley-Sander, DP (Mr Desmond Fearnley-Sander)
Author:Stokes, TE (Dr Timothy Stokes)
ID Code:21125
Year Published:1995
Web of Science® Times Cited:4
Deposited By:Mathematics
Deposited On:2001-08-01
Last Modified:2011-09-27
Downloads:0

Repository Staff Only: item control page