@inproceedings{FMJPJSCS-ITP18,
 author    = "Florian Me\ss{}ner, Julian Parsert, Jonas Sch\"opf, Christian Sternagel",
 title     = "A Formally Verified Solver for Homogeneous Linear Diophantine Equations",
 booktitle = "Proceedings of the 9th International Conference on Interactive Theorem Proving",
 editor    = "Jeremy Avigad and Assia Mahboubi",
 series    = "Lecture Notes in Computer Science",
 volume    = 10895,
 pages     = "441--458",
 year      = 2018,
 doi       = "10.1007/978-3-319-94821-8_26"
}