“Russian killer” no. 2: A challenging geometric theorem with human and machine proofs Xiaorong HouHongbo LiLu Yang Article 02 May 2009 Pages: 9 - 15
Between discovery and justification Michael HarrisMary Beth Ruskai Department 02 May 2009 Pages: 16 - 29
The importance of being formal K. S. MakarychevYu. S. Makarychev Department 02 May 2009 Pages: 41 - 42
Erratum to: Iterated strings and cellular automata Oleksiy AndriychenkoMarc Chamberland Erratum 02 May 2009 Pages: 50 - 50
Curves in traditional architecture in East Asia Hiroshi YanaiKim Williams Department 02 May 2009 Pages: 52 - 57