@inproceedings{eed236f2b9a44dd194ac4caf01e9a1f8,

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, {Jonathan A.} and Luke Blaney and Alan Bundy and Fiona McNeill",

year = "2010",

doi = "10.1007/978-3-642-14203-1_31",

language = "English",

isbn = "978-3-642-14202-4",

volume = "6173",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "354--368",

editor = "J{\"u}rgen Giesl and Reiner H{\"a}hnle",

booktitle = "Automated Reasoning",

}