@inproceedings{4842ad2fd4d74db5bccad01c1f675ec9,
title = "A Single-Significant-Digit Calculus for Semi-Automated Guesstimation",
abstract = "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 methods have been implemented as rewrite rules and successfully evaluated in an interactive system, gort, which forms a customised proof plan for each problem and then executes the plan to obtain a solution.",
author = "Abourbih, {J. A.} and L. Blaney and Alan Bundy and F. McNeill",
year = "2010",
doi = "10.1007/978-3-642-14203-1_31",
language = "English",
isbn = "978-3-642-14202-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer-Verlag GmbH",
pages = "354--368",
booktitle = "Automated Reasoning",
}