@InCollection｛zbMATH05761624，作者={Ferreira，Jo{\~a}o F.}，Title={设计双平方定理的算法证明}，BookTitle={程序建设的数学。第十届国际会议，MPC 2010，加拿大魁北克市，2010年6月21-23日。诉讼程序}，国际标准图书编号={978-3-642-13320-6}，页码={140--156}，年份={2010}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-13321-3_10}，关键词={11Y16}，zbMATH={5761624}，Zbl={1286.11209}}