Quadratic equations in metabelian Baumslag-Solitar groups

Richard Mandel, Alexander Ushakov

For a finitely generated group $G$, the \emph{Diophantine problem} over $G$ is the algorithmic problem of deciding whether a given equation $W(z_1,z_2,\dots ,z_k)=1$ (perhaps res…