@inproceedings{DBLP:conf/itp/MessnerPSS18,
  title = "A Formally Verified Solver for Homogeneous Linear Diophantine Equations",
  author = "Florian Me{\ss}ner and Julian Parsert and Jonas Sch{\"{o}}pf and Christian Sternagel",
  year = "2018",
  booktitle = "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",
  url = "https://doi.org/10.1007/978-3-319-94821-8\_26",
  volume = "10895",
  doi = "10.1007/978-3-319-94821-8\_26",
}