TY - RPRT TI - Residue polytopes AU - Omid Amini AU - Eduardo Esteves AU - Eduardo Garcez PY - 2024 UR - https://arxiv.org/abs/2410.13554 ID - 2410.13554 ER -