Pierre Boutry Gabriel Braun Julien Narboux Formalization of the arithmetization of Euclidean plane geometry and applications. 149-168 2019 90 J. Symb. Comput. https://doi.org/10.1016/j.jsc.2018.04.007 db/journals/jsc/jsc90.html#BoutryBN19
