Dušan Djuki\'c, Vladimir Jankovi\'c, Ivan Mati\'c & Nikola Petrovi\'c (2011):
The IMO compendium,
second edition.
Springer,
New York,
doi:10.1007/978-1-4419-9854-5.
Manuel Eberl (2019):
Selected Problems from the International Mathematical Olympiad 2019.
Archive of Formal Proofs.
http://isa-afp.org/entries/IMO2019.html, Formal proof development.
Jean-David Génevaux, Julien Narboux & Pascal Schreck (2011):
Formalization of Wu's Simple Method in Coq.
In: Jean-Pierre Jouannaud & Zhong Shao: Certified Programs and Proofs.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 71–86,
doi:10.1007/978-3-642-25379-9_8.
Tuan-Minh Pham, Yves Bertot & Julien Narboux (2011):
A Coq-Based Library for Interactive and Automated Theorem Proving in Plane Geometry.
In: Beniamino Murgante, Osvaldo Gervasi, Andrés Iglesias, David Taniar & Bernady O. Apduhan: Computational Science and Its Applications - ICCSA 2011.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 368–383,
doi:10.1007/978-3-642-21898-9_32.
Sana Stojanovi\'c-\begingroupłet [Pleaseinsert\PrerenderUnicodeÐintopreamble]ur\IeCđ evi\'c (2019):
From informal to formal proofs in Euclidean geometry.
Annals of Mathematics and Artificial Intelligence 85(2),
doi:10.1007/s10472-018-9597-7.
Available at http://doi.org/10.1007/s10472-018-9597-7.
Freek Wiedijk (2006):
The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence).
Springer-Verlag,
Berlin, Heidelberg,
doi:10.1007/s11225-007-9093-2.