Chapter

The Seventeen Provers of the World

Volume 3600 of the series Lecture Notes in Computer Science pp 142-150

B Method

  • Dominique CansellAffiliated withNo institute given

* Final gross prices may vary according to local VAT.

Get Access

Abstract

Statement

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