1. Visually Dynamic Presentation of Proofs in Plane Geometry

   • Zheng Ye
   • Shang-Ching Chou
   • Xiao-Shan Gao

   OriginalPaper 18 December 2009 Pages: 213 - 241

2. Visually Dynamic Presentation of Proofs in Plane Geometry

   • Zheng Ye
   • Shang-Ching Chou
   • Xiao-Shan Gao

   OriginalPaper 23 December 2009 Pages: 243 - 266

3. Equivariant Unification

   • James Cheney

   OriginalPaper 22 December 2009 Pages: 267 - 300

4. A Formalization of the Knuth–Bendix(–Huet) Critical Pair Theorem

   • André L. Galdino
   • Mauricio Ayala-Rincón

   OriginalPaper 21 January 2010 Pages: 301 - 325