Now showing items 1-1 of 1

  • A Single-Significant-Digit Calculus for Semi-Automated Guesstimation 

    Abourbih, J.A.; Blaney, L.; Bundy, Alan; McNeill, F. (SpringerLink, 2010)
    We describe a single-significant-digit calculus for estimating approximate solutions to guesstimation problems. The calculus is formalised as a collection of proof methods, which are combined into proof plans. These proof ...