Homogeneous Linear Diophantine Equations

Florian Meßner, Julian Parsert, Jonas Schöpf, Christian Sternagel
The Archive of Formal Proofs,  2017.

abstract   BibTeX    
AFP entry