|
|||||
|
|
Writing a number as the sum of two squares: A new solution |
|
| Authors: | Ronald Backhouse |
| Affiliation: | Department of Computer Science, Heriot-Watt University, Edinburgh EH1 2HJ, U.K. |
| Abstract: | |
| Keywords: | Program correctness program synthesis saddleback search |
| 本文献已被 ScienceDirect 等数据库收录！ | |