Andrew MacFie | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

research

∙ 08/29/2017

Plausibility and probability in deductive reasoning

We consider the problem of rational uncertainty about unproven mathemati...

0 Andrew MacFie, et al. ∙

research

∙ 01/13/2016

Analysis of Algorithms and Partial Algorithms

We present an alternative methodology for the analysis of algorithms, ba...

0 Andrew MacFie, et al. ∙

research

∙ 01/11/2016

Software for enumerative and analytic combinatorics

We survey some general-purpose symbolic software packages that implement...

0 Andrew MacFie, et al. ∙