@misc{indiciae0e6e4bb8b658,
  title = {Automated Generation of Triangle Geometry Theorems},
  author = {Alexander Skutin},
  year = {2022},
  url = {https://arxiv.org/abs/2110.09511},
  note = {Source identifier: 2110.09511}
}