14 citations · 39 across the 15 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.RO2023★ 1 cited
Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gröbner Systems
Mizuki Yoshizawa, Akira Terui, Masahiko Mikawa
Methods for inverse kinematics computation and path planning of a three degree-of-freedom (DOF) manipulator using the algorithm for quantifier elimination based on Comprehensive Gr…
cs.SC2023
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…