@misc{indiciae97baaed56c9b,
  title = {Proceedings 14th International Conference on Automated Deduction in Geometry},
  author = {Pedro Quaresma and Zoltán Kovács},
  year = {2024},
  doi = {10.4204/eptcs.398},
  url = {https://arxiv.org/abs/2401.10725},
  note = {Source identifier: 2401.10725}
}