Mizar Verification of Generic Algebraic Algorithms

[Roman Matuszewski <ROMAT@plearn.edu.pl>]

You might be interested in the PhD thesis of Christoph Schwarzweller
(University of Tuebingen, Germany) :

   "Mizar Verification of Generic Algebraic Algorithms"

http://www-ca.informatik.uni-tuebingen.de/PEOPLE/schwarzw/pub.html

A related URL:

http://www.cs.rpi.edu/~schupp/suchthat/#verification

-- Roman Matuszewski
   romat@mizar.org
   http://mizar.org