A Tropical F5 Algorithm

DOI10.1145/3087604.3087630zbMath1457.14128arXiv1705.05571OpenAlexW2614402806MaRDI QIDQ5119971

Kazuhiro Yokoyama, Tristan Vaccon

Publication date: 9 September 2020

Published in: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1705.05571

zbMATH Keywords

Gröbner basestropical geometryF5 algorithm\(p\)-adic precision

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Foundations of tropical geometry and relations with algebra (14T10)

Related Items (5)

Matrix-F5 algorithms and tropical Gröbner bases computation ⋮ Universal Analytic Gröbner Bases and Tropical Geometry ⋮ Axioms for a theory of signature bases ⋮ On affine tropical F5 algorithms ⋮ Complexity bounds on Semaev's naive index calculus method for ECDLP

This page was built for publication: A Tropical F5 Algorithm