2 citations · 2 across the 5 of their papers we have counts for
5 papers
Enumerative properties of restricted words and compositions
Andrew MacFie
In this document we achieve exact and asymptotic enumeration of words, compositions over a finite group, and/or integer compositions characterized by local restrictions and, separa…
Counting compositions over finite abelian groups
Zhicheng Gao, Andrew MacFie, Qiang Wang
We find the number of compositions over finite abelian groups under two types of restrictions: (i) each part belongs to a given subset and (ii) small runs of consecutive parts must…
Plausibility and probability in deductive reasoning
Andrew MacFie
We consider the problem of rational uncertainty about unproven mathematical statements, remarked on by Gödel and others. Using Bayesian-inspired arguments we build a normative mode…
Software for enumerative and analytic combinatorics
Andrew MacFie
We survey some general-purpose symbolic software packages that implement algorithms from enumerative and analytic combinatorics. Software for the following areas is covered: basic…
Analysis of Algorithms and Partial Algorithms
Andrew MacFie
We present an alternative methodology for the analysis of algorithms, based on the concept of expected discounted reward. This methodology naturally handles algorithms that do not…