Conference paper
Modeling polarization for Hyper-NA lithography tools and masks
Kafai Lai, Alan E. Rosenbluth, et al.
SPIE Advanced Lithography 2007
Paper
Responses to “theoretical mathematics: Toward a cultural synthesis of mathematics and theoretical physics” by A. Jaffe and F. Quinn
Abstract
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.
Related
James Lee Hafner
Journal of Number Theory
Zhengxin Zhang, Ziv Goldfeld, et al.
Foundations of Computational Mathematics
David Cash, Dennis Hofheinz, et al.
Journal of Cryptology