TY  - RPRT
TI  - Matrix-F5 algorithms and tropical Gröbner bases computation
AU  - Tristan Vaccon
PY  - 2015
DO  - 10.1145/2755996.2756665
UR  - https://arxiv.org/abs/1402.6675
ID  - 1402.6675
ER  -