There is a newer version of the record available.

Published March 6, 2026 | Version deterministic-cycle-rigidity-v1
Software Open

chronos-urf-rr

Authors/Creators

Description

Reduction of deterministic beta1-ball growth to a layer-collision lemma.

Notes

If you use this software or its artifacts, please cite it as below.

Files

inaciovasquez2020/chronos-urf-rr-deterministic-cycle-rigidity-v1.zip

Files (6.1 MB)

Additional details

Related works

Is supplement to
Software: https://github.com/inaciovasquez2020/chronos-urf-rr/tree/deterministic-cycle-rigidity-v1 (URL)

Software

Repository URL
https://github.com/inaciovasquez2020/chronos-urf-rr