Bijlsma，A。 程序推导技术在18世纪数学中的应用。 （英语） Zbl 0906.11059号 Johan Jeuring（编辑），《程序构造的数学》。1998年6月15日至17日，第四届国际会议，1998年MPC，瑞典马斯特兰。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1422，44-51（1998年）。 设\（p\）为素数，\（p\equiv1\pmod4\）。作者使用程序推导的方法获得了（a，b），即（p=a^2+b^2）。像往常一样，他首先找到（x），这样（x等于（p-1）/2）！\pmod第页）。值得注意的是，该方法给出了一个构造性因子分解（in（K（i）））。有关整个系列，请参见[Zbl 0891.00027号].审核人：H.J.戈德温（埃加姆） MSC公司： 1999年11月 计算数论 60年第68季度 规范和验证（程序逻辑、模型检查等） 第12页 哥德巴赫型定理；涉及素数的其他加法问题 关键词：平方和；素数的表示；程序推导 PDF格式BibTeX公司 XML格式引用 \textit{A.Bijlsma}，莱克特。票据计算。科学。1422，44-51（1998；Zbl 0906.11059）