News
Computers can help ensure that mathematical proofs are correct, but translating traditional maths into a machine-readable ...
Scanned by YRB in 2004-2005. I improved the scan in 2014 using GNU/Linux program `unpaper'. To find the original file (YRB's scan), check All Files.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback