@misc{indiciae8115fd309798,
  title = {Computer-assisted proofs of "Kariya's theorem" with computer algebra},
  author = {Ayane Ito and Takefumi Kasai and Akira Terui},
  year = {2023},
  url = {https://arxiv.org/abs/2304.07491},
  note = {Source identifier: 2304.07491}
}