@misc{indiciaecdc36bf1b4ba,
  title = {Bounded reduction of orthogonal matrices over polynomial rings},
  author = {Pavel Gvozdevsky},
  year = {2022},
  doi = {10.1016/j.jalgebra.2022.02.026},
  url = {https://arxiv.org/abs/2106.12697},
  note = {Source identifier: 2106.12697}
}