@misc{indiciae9d102db3f3a5, title = {Parallel Redundancy Removal in lrslib with Application to Projections}, author = {David Avis and Charles Jordan}, year = {2024}, url = {https://arxiv.org/abs/2406.00065}, note = {Source identifier: 2406.00065} }