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/corr/abs-2401-11904.xml
Pierre Boutry Stéphane Kastenbaum Clément Saintier Towards an Independent Version of Tarski's System of Geometry. ADG 2023 73-84 journals/corr/abs-2401-10725 https://doi.org/10.4204/EPTCS.398.11 https://doi.org/10.48550/arXiv.2401.11904 db/series/eptcs/eptcs398.html#abs-2401-11904