Pavel Trutman

Automatic-Generator. Automatic generator of Groebner basis solvers.

Global-7DOF-IKT. Solver for inverse kinematics tasks for general serial manipulators with 7 revolute joints. It combines symbolical and numerical approaches to find a global solution to a polynomial objective function. A toolbox for Matlab.

polyopt. Polynomial optimization problem solver. Uses relaxation to convert the problem into Semidefinite programming. Can be also used just as Semidefinite programming solver.

SDPinComputerVision. Master's thesis "Semidefinite Programming for Geometric Problems in Computer Vision".

geoCV. Python library of geometric algebra functions for computer vision.

Minimal-Problem-Solver-Generator. My bachelor thesis on theme "Minimal Problem Solver Generator".

FocalNet. Estimation of focal lengths from correspondences.

2024-PhD-Global-Polynomial-Optimization-IK. PhD thesis: "Global Polynomial Optimization in Inverse Kinematics"

gnuplot.py-py3k. Porting Gnuplot.py to Py3k.

A0B36PR2. Semestrální práce do předmětu A0B36PR2.

kokos-web. Web pages of the KoKoS.