research
∙
05/21/2023
Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gröbner Systems
Methods for inverse kinematics computation and path planning of a three ...
share
research
∙
04/15/2023
Computer-assisted proofs of "Kariya's theorem" with computer algebra
We demonstrate computer-assisted proofs of "Kariya's theorem," a theorem...
research
∙
09/11/2022
Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Annihilating Polynomials
An effective exact method is proposed for computing generalized eigenspa...
research
∙
05/06/2022
The GPGCD Algorithm with the Bézout Matrix for Multiple Univariate Polynomials
We propose a modification of the GPGCD algorithm, which has been present...
research
∙
10/31/2021
A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Real Quantifier Elimination based on Comprehensive Gröbner Systems
The solution and implementation of the inverse kinematics computation of...
research
∙
07/10/2020
Solving System of Nonlinear Equations with the Genetic Algorithm and Newton's Method
An implementation and an application of the combination of the genetic a...
research
∙
11/22/2018
Fast Algorithms for Computing Eigenvectors of Matrices via Pseudo Annihilating Polynomials
An efficient algorithm for computing eigenvectors of a matrix of integer...
research
∙
01/25/2018