Leo Liberti, James Ostrowski
Journal of Global Optimization
Paper
How to run algorithmic information theory on a computer: Studying the limits of mathematical reasoning
Related
Frank R. Libsch, S.C. Lien
IBM J. Res. Dev
Paper
The Qx-coder
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev
Xinyi Su, Guangyu He, et al.
Dianli Xitong Zidonghua/Automation of Electric Power Systems