Writing a number as the sum of two squares: A new solution

R C Backhouse

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)15-17
Number of pages3
JournalInformation Processing Letters
Volume14
Issue number1
Publication statusPublished - 27 Mar 1982

Keywords

  • Program correctness
  • program synthesis
  • saddleback search

Cite this