Projects per year
Abstract
We describe a singlesignificantdigit 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.
Original language  English 

Title of host publication  Automated Reasoning 
Subtitle of host publication  5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 1619, 2010. Proceedings 
Place of Publication  Berlin 
Publisher  SpringerVerlag GmbH 
Pages  354368 
Number of pages  15 
ISBN (Print)  9783642142024 
DOIs  
Publication status  Published  2010 
Publication series
Name  Lecture Notes in Computer Science 

Publisher  Springer Berlin / Heidelberg 
Volume  6173 
ISSN (Print)  03029743 
ISSN (Electronic)  16113349 
Projects
 1 Finished

Integration and Interaction of multiple mathematical reasoning processes
Bundy, A., Colton, S., Aspinall, D., Dennis, L., Fleuriot, J., Georgieva, L., Ireland, A., Jackson, P. & Smaill, A.
1/04/07 → 31/03/11
Project: Research