TY - RPRT TI - Bounded reduction of orthogonal matrices over polynomial rings AU - Pavel Gvozdevsky PY - 2022 DO - 10.1016/j.jalgebra.2022.02.026 UR - https://arxiv.org/abs/2106.12697 ID - 2106.12697 ER -