TY  - RPRT
TI  - A lattice formulation of the F4 completion procedure
AU  - Chenavier Cyrille
PY  - 2018
UR  - https://arxiv.org/abs/1703.02077
ID  - 1703.02077
ER  -