A Formal Proof of the Sasaki-Murao Algorithm
Journal article, 2012
Formalization of mathematics
Author
Thierry Coquand
University of Gothenburg
Anders Mörtberg
University of Gothenburg
Vincent Siles
University of Gothenburg
Journal of Formalized Reasoning
1972-5787 (ISSN)
Vol. 5 1 27-36Subject Categories
Computer Science