Quantifier Elimination and Invariant Theory: Applications to Quaternions, Octonions, and Other Algebras

Maximilian Illmer

We build on our previous paper \cite{constructive} by using the general method introduced there in conjunction with invariant theory. This yields quantifier elimination results for…