A Formally Verified Solver for Homogeneous Linear Diophantine Equations
Florian Meßner‚ Julian Parsert‚ Jonas Schöpf and Christian Sternagel
Book Title
Interactive Theorem Proving − 9th International Conference‚ ITP 2018‚ Held as Part of the Federated Logic Conference‚ FloC 2018‚ Oxford‚ UK‚ July 9−12‚ 2018‚ Proceedings
Editor
Jeremy Avigad and Assia Mahboubi
Pages
441–458
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
10895
Year
2018