Formalization of the arithmetization of Euclidean plane geometry and applications. Boutry, P., Braun, G., & Narboux, J. J. Symb. Comput., 90:149-168, 2019.
Formalization of the arithmetization of Euclidean plane geometry and applications. [link]Link  Formalization of the arithmetization of Euclidean plane geometry and applications. [link]Paper  bibtex   
@article{journals/jsc/BoutryBN19,
  added-at = {2023-06-26T00:00:00.000+0200},
  author = {Boutry, Pierre and Braun, Gabriel and Narboux, Julien},
  biburl = {https://www.bibsonomy.org/bibtex/2b610c52c46b763320eaf6fdac1e5dc0c/dblp},
  ee = {https://doi.org/10.1016/j.jsc.2018.04.007},
  interhash = {34513c8b209864ea24738fe54527c48d},
  intrahash = {b610c52c46b763320eaf6fdac1e5dc0c},
  journal = {J. Symb. Comput.},
  keywords = {dblp},
  pages = {149-168},
  timestamp = {2024-04-09T05:31:27.000+0200},
  title = {Formalization of the arithmetization of Euclidean plane geometry and applications.},
  url = {http://dblp.uni-trier.de/db/journals/jsc/jsc90.html#BoutryBN19},
  volume = 90,
  year = 2019
}

Downloads: 0