iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/journals/jsc/BoutryBN19.nt
. . . . . "Pierre Boutry et al.: Formalization of the arithmetization of Euclidean plane geometry and applications. (2019)" . . _:ID_d19909a01b46fa6ea98f3548717a302d . _:ID_d19909a01b46fa6ea98f3548717a302d . _:ID_d19909a01b46fa6ea98f3548717a302d . _:ID_d19909a01b46fa6ea98f3548717a302d . _:ID_d19909a01b46fa6ea98f3548717a302d "journals/jsc/BoutryBN19" . _:ID_d23711e97cb7aab13b4f6e8855539e6d . _:ID_d23711e97cb7aab13b4f6e8855539e6d . _:ID_d23711e97cb7aab13b4f6e8855539e6d . _:ID_d23711e97cb7aab13b4f6e8855539e6d . _:ID_d23711e97cb7aab13b4f6e8855539e6d "10.1016/J.JSC.2018.04.007" . "Formalization of the arithmetization of Euclidean plane geometry and applications." . . . . . . . . "3"^^ . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_1 . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_1 . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_1 . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_1 "Pierre Boutry" . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_1 . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_1 "1"^^ . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_1 . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_2 . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_2 . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_2 . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_2 "Gabriel Braun" . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_2 . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_2 "2"^^ . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_2 . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_3 . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_3 . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_3 . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_3 "Julien Narboux" . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_3 . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_3 . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_3 "3"^^ . _:Sig_2f31c462c51d8a2a0727f00b1b50bfe9_3 . . . . . "149-168" . "J. Symb. Comput." . "J. Symb. Comput." . "90" . "2019"^^ . "provenance information for RDF data of dblp record 'journals/jsc/BoutryBN19'" . . . . "2023-06-26T20:57:53+0200" .