Alan Turing and the Decision Problem |
Turing's Real Machines |
Alan Turing and Enigma |
Recent Results on Bootstrap Percolation |
Sato-Tale groups and automorphy for nongeneric genus 2 curves |
Inversions for reduced words |
Turán numbers for a 4-uniform hypergraph |