Joint project between RICAM in Linz and FIT, CTU in Prague.
New proof of the classification of Bricard's octahedra
Graphs with infinitely many realizations in the plane satisfying edge length constraints
Finding edge lengths of minimally rigid graphs with many real embeddings.