Computer-assisted proofs of "Kariya's theorem" with computer algebra. - Ayane Ito; Takefumi Kasai; Akira Terui (CoRR, 2023)