A. Gupta, R. Gross, et al.
SPIE Advances in Semiconductors and Superconductors 1990
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.
A. Gupta, R. Gross, et al.
SPIE Advances in Semiconductors and Superconductors 1990
Jianke Yang, Robin Walters, et al.
ICML 2023
Frank R. Libsch, Takatoshi Tsujimura
Active Matrix Liquid Crystal Displays Technology and Applications 1997
Elizabeth A. Sholler, Frederick M. Meyer, et al.
SPIE AeroSense 1997