Found in articles
Bitap算法
Dömölki's algorithm, International Journal of Computer Mathematics（英语：International Journal of Computer Mathematics）, 6(2)pp 105–114, 1977. ^ Ricardo Baeza-Yates
Information: 3rd International Conference on the Mathematics of Program Construction, Date: JUL 17-21, 1995 Kloster Irsee Germany]. Science of Computer Programming
Cornu spirals in drawing planar curves of controlled curvature. Journal of Computational and Applied Mathematics 25 (1), 69–78 [8] （页面存档备份，存于互联网档案馆）. Farin
哥德尔奖
Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity class (PDF), Journal of Computer and System Sciences, 1988, 36 (2): 254–276 [2022-10-31]
& Simons, J. Characteristic forms and geometric invariants. Annals of Mathematics. 1974, 99 (1): 48–69. doi:10.2307/1971013. Deser, Stanley; Jackiw,