Developing Field Theory in Mizar - Christoph Schwarzweller (Annals of computer science and information systems)