TY - RPRT TI - Quantifier Elimination and Invariant Theory: Applications to Quaternions, Octonions, and Other Algebras AU - Maximilian Illmer PY - 2026 UR - https://arxiv.org/abs/2602.21326 ID - 2602.21326 ER -