1. A Survey on Retrieval of Mathematical Knowledge

   • Ferruccio Guidi
   • Claudio Sacerdoti Coen

   OriginalPaper 18 July 2016 Pages: 409 - 427

2. Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)

   • Daniel Raggi
   • Alan Bundy
   • Alison Pease

   OriginalPaper Open access 18 July 2016 Pages: 429 - 457

3. Semantic Spaces

   • Yuri I. Manin
   • Matilde Marcolli

   OriginalPaper 27 October 2016 Pages: 459 - 477

4. On the Connection Between Ritt Characteristic Sets and Buchberger–Gröbner Bases

   • Dongming Wang

   OriginalPaper 26 October 2016 Pages: 479 - 492