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

R C Backhouse

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	15-17
Number of pages	3
Journal	Information Processing Letters
Volume	14
Issue number	1
Publication status	Published - 27 Mar 1982

Keywords

@article{faee11494ede405987e0dfea00d05c9f,

title = "Writing a number as the sum of two squares: A new solution",

keywords = "Program correctness, program synthesis, saddleback search",

author = "Backhouse, {R C}",

year = "1982",

month = mar,

day = "27",

language = "English",

volume = "14",

pages = "15--17",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - Writing a number as the sum of two squares

T2 - A new solution

AU - Backhouse, R C

PY - 1982/3/27

Y1 - 1982/3/27

KW - Program correctness

KW - program synthesis

KW - saddleback search

UR - http://www.scopus.com/inward/record.url?scp=49049137528&partnerID=8YFLogxK

M3 - Article

SN - 0020-0190

VL - 14

SP - 15

EP - 17

JO - Information Processing Letters

JF - Information Processing Letters

IS - 1

ER -