Christoph Schwarzweller. Mizar Correctness Proofs of Generic Fraction Field Arithmetic. In Mehdi Jazayeri, Rüdiger Loos, David R. Musser, editors, Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers. Volume 1766 of Lecture Notes in Computer Science, pages 178-191, Springer, 1998.
Abstract is missing.