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://doi.org/10.4204/EPTCS.398.11
[2401.11904v1] Towards an Independent Version of Tarski's System of Geometry