Overview

  • Matt Kaufmann
  • Panagiotis Manolios
  • J. Strother Moore
Part of the Advances in Formal Methods book series (ADFM, volume 4)

Abstract

When people talk about “theorems” and “proofs” most of us either think of the elementary results of high school geometry, e.g., “If two distinct lines intersect, then they intersect in exactly one point,” or famous unsolved problems, such as Goldbach’s question, “Is there an even number greater than 2 that is not the sum of two primes?”.

Keywords

Theorem Prover Proof Script Common Lisp Destination Memory High School Geometry 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 2000

Authors and Affiliations

  • Matt Kaufmann
    • 1
  • Panagiotis Manolios
    • 2
  • J. Strother Moore
    • 2
  1. 1.Advanced Micro Devices, Inc.AustinUSA
  2. 2.Department of Computer SciencesThe University of Texas at AustinAustinUSA

Personalised recommendations