Toward a Calculus of Algorithms
journal contribution
posted on 2023-05-16, 12:43 authored by Bulmer, M, Fearnley-Sander, DP, Timothy StokesWe 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.
History
Publication title
Bulletin of the Australian Mathematical SocietyVolume
50Pagination
81-89ISSN
0004-9727Department/School
School of Natural SciencesPublisher
Australian Mathematics Publ Assoc IncPlace of publication
Mathematics Dept Australian National Univ, Canberra, Australia, Act, 0200Repository Status
- Restricted
Socio-economic Objectives
Expanding knowledge in the mathematical sciencesUsage metrics
Keywords
Licence
Exports
RefWorksRefWorks
BibTeXBibTeX
Ref. managerRef. manager
EndnoteEndnote
DataCiteDataCite
NLMNLM
DCDC