@misc{indiciaeae6c34ae6686,
  title = {Matrix-F5 algorithms and tropical Gröbner bases computation},
  author = {Tristan Vaccon},
  year = {2015},
  doi = {10.1145/2755996.2756665},
  url = {https://arxiv.org/abs/1402.6675},
  note = {Source identifier: 1402.6675}
}