The Seventeen Provers of the World pp 142-150

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3600)

B Method

  • Dominique Cansell

Abstract

Statement

!(n,m).(n:NATURAL& m:NATURAL => (n*n=2*(m*m)<=>(n=0&m=0)))

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Dominique Cansell
    • 1
  1. 1.No institute given 

Personalised recommendations