Follow
Proceedings of the 13th International Conference on Automated Deduction in Geometry. (arXiv:2112.14770v1 [cs.AI]) http://arxiv.org/abs/2112.14770
Proceedings of the 13th International Conference on Automated Deduction in Geometry. (arXiv:2112.14770v1 [cs.AI]) http://arxiv.org/abs/2112.14770