Computer-assisted proofs of "Kariya's theorem" with computer algebra

Ayane Ito, Takefumi Kasai, Akira Terui

We demonstrate computer-assisted proofs of "Kariya's theorem," a theorem in elementary geometry, with computer algebra. In the proof of geometry theorem with computer algebra, vert…