Ruixiong Tian, Zhe Xiang, et al.
Qinghua Daxue Xuebao/Journal of Tsinghua University
It is argued that the information-theoretic incompleteness theorems of algorithmic information theory provide a certain amount of support for what Jaffe and Quinn call “theoretical mathematics”. © 1994 American Mathematical Society.
Ruixiong Tian, Zhe Xiang, et al.
Qinghua Daxue Xuebao/Journal of Tsinghua University
Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007
Sankar Basu
Journal of the Franklin Institute