Diener, Hannes

• Vol 3 (2011) - Articles
  Constructive reverse investigations into differential equations
  Details  8. [PDF]
• Vol 4 (2012) - Articles
  The Vitali covering theorem in constructive mathematics
  Details  7. [PDF]