A Short Survey of Automated Reasoning

Abstract. This paper surveys the field of automated reasoning, giving some historical background and outlining a few of the main current research themes. We particularly emphasize the points of contact and the contrasts with computer algebra. We finish with a discussion of the main applications so far.

• Type: Conference
• Year: 2007
• Where: AB
• Authors: John Harrison
• Keywords: AB 2007, Automated Reasoning, Historical Background, Main Current Research