Symbolic Methods in Kinematics

@techreport{RISC6092,
author = {G. Grasegger and J. Legerský and J. Schicho},
title = {{On the Classification of Motions of Paradoxically Movable Graphs}},
language = {english},
year = {2020},
institution = {arXiv},
length = {27},
url = {https://arxiv.org/abs/2003.11416}
}

@techreport{RISC6090,
author = {G. Grasegger and J. Legerský},
title = {{FlexRiLoG - A SageMath Package for Motions of Graphs}},
language = {english},
year = {2020},
institution = {arXiv},
length = {9},
url = {https://arxiv.org/abs/2003.12029}
}

@techreport{RISC6091,
author = {S.Dewar and G. Grasegger and J. Legerský},
title = {{Flexible placements of graphs with rotational symmetry}},
language = {english},
year = {2020},
institution = {arXiv},
length = {9},
url = {https://arxiv.org/abs/2003.09328}
}

@techreport{RISC5884,
author = {J. Capco and C. Scheiderer},
title = {{Sum of Squares over Rationals}},
language = {english},
abstract = {Recently it has been shown that a multivariate (homogeneous) polynomialwith rational coefficients that can be written as a sum of squares offorms with real coefficients, is not necessarily a sum of squares offorms with rational coefficients. Essentially, only one constructionfor such forms is known, namely taking the $K/\Q$-norm of a sufficientlygeneral form with coefficients in a number field $K$. Whether thisconstruction yields a form with the desired properties depends onGalois-theoretic properties of $K$ that are not yet well understood.We construct new families of examples, and we shed new light on somewell-known open questions.},
year = {2019},
institution = {RISC},
length = {0},
url = {https://www3.risc.jku.at/~jcapco/public_files/ss18/sosq.html}
}

@techreport{RISC5977,
author = {M. Gallet and G. Grasegger and J. Legerský and J. Schicho},
title = {{On the existence of paradoxical motions of generically rigid graphs on the sphere}},
language = {english},
year = {2019},
institution = {arXiv},
length = {40},
url = {https://arxiv.org/abs/1908.00467}
}

@techreport{RISC5418,
author = {Jose Capco and Georg Grasegger and Matteo Gallet and Christoph Koutschan and Niels Lubbes and Josef Schicho},
title = {{The number of realizations of a Laman graph}},
language = {english},
abstract = {Laman graphs model planar frameworks that are rigid for a general choice of distances between the vertices. There are finitely many ways, up to isometries, to realize a Laman graph in the plane. Such realizations can be seen as solutions of systems of quadratic equations prescribing the distances between pairs of points. Using ideas from algebraic and tropical geometry, we provide a recursion formula for the number of complex solutions of such systems. },
year = {2017},
institution = {Research Institute for Symbolic Computation (RISC/JKU)},
length = {42},
url = {http://www.koutschan.de/data/laman/}
}