@article{journals/jsc/BoutryBN19,
  added-at = {2025-01-19T00:00:00.000+0100},
  author = {Boutry, Pierre and Braun, Gabriel and Narboux, Julien},
  biburl = {https://www.bibsonomy.org/bibtex/2b610c52c46b763320eaf6fdac1e5dc0c/dblp},
  ee = {https://www.wikidata.org/entity/Q130021948},
  interhash = {34513c8b209864ea24738fe54527c48d},
  intrahash = {b610c52c46b763320eaf6fdac1e5dc0c},
  journal = {J. Symb. Comput.},
  keywords = {dblp},
  pages = {149-168},
  timestamp = {2025-01-27T09:20:45.000+0100},
  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
}

{"_id":"xSTM6cPcWTYijgutE","bibbaseid":"boutry-braun-narboux-formalizationofthearithmetizationofeuclideanplanegeometryandapplications-2019","author_short":["Boutry, P.","Braun, G.","Narboux, J."],"bibdata":{"bibtype":"article","type":"article","added-at":"2025-01-19T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Boutry"],"firstnames":["Pierre"],"suffixes":[]},{"propositions":[],"lastnames":["Braun"],"firstnames":["Gabriel"],"suffixes":[]},{"propositions":[],"lastnames":["Narboux"],"firstnames":["Julien"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2b610c52c46b763320eaf6fdac1e5dc0c/dblp","ee":"https://www.wikidata.org/entity/Q130021948","interhash":"34513c8b209864ea24738fe54527c48d","intrahash":"b610c52c46b763320eaf6fdac1e5dc0c","journal":"J. Symb. Comput.","keywords":"dblp","pages":"149-168","timestamp":"2025-01-27T09:20:45.000+0100","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","bibtex":"@article{journals/jsc/BoutryBN19,\n added-at = {2025-01-19T00:00:00.000+0100},\n author = {Boutry, Pierre and Braun, Gabriel and Narboux, Julien},\n biburl = {https://www.bibsonomy.org/bibtex/2b610c52c46b763320eaf6fdac1e5dc0c/dblp},\n ee = {https://www.wikidata.org/entity/Q130021948},\n interhash = {34513c8b209864ea24738fe54527c48d},\n intrahash = {b610c52c46b763320eaf6fdac1e5dc0c},\n journal = {J. Symb. Comput.},\n keywords = {dblp},\n pages = {149-168},\n timestamp = {2025-01-27T09:20:45.000+0100},\n title = {Formalization of the arithmetization of Euclidean plane geometry and applications.},\n url = {http://dblp.uni-trier.de/db/journals/jsc/jsc90.html#BoutryBN19},\n volume = 90,\n year = 2019\n}\n\n","author_short":["Boutry, P.","Braun, G.","Narboux, J."],"key":"journals/jsc/BoutryBN19","id":"journals/jsc/BoutryBN19","bibbaseid":"boutry-braun-narboux-formalizationofthearithmetizationofeuclideanplanegeometryandapplications-2019","role":"author","urls":{"Link":"https://www.wikidata.org/entity/Q130021948","Paper":"http://dblp.uni-trier.de/db/journals/jsc/jsc90.html#BoutryBN19"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/braun?items=1000","dataSources":["moGHosEp2wsfFe7LR"],"keywords":["dblp"],"search_terms":["formalization","arithmetization","euclidean","plane","geometry","applications","boutry","braun","narboux"],"title":"Formalization of the arithmetization of Euclidean plane geometry and applications.","year":2019}