Login / Signup
Shuto Otaki
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Design Process
Functional Programming
Quantifier Elimination
Inverse Kinematics
Top Venues
CoRR
</>
Publications
</>
Shuto Otaki
,
Akira Terui
,
Masahiko Mikawa
A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Real Quantifier Elimination based on Comprehensive Gröbner Systems.
CoRR
(2021)