On Affine Tropical F5 Algorithms

DOI10.1145/3208976.3209012zbMath1467.13054arXiv1805.06183OpenAlexW3101277099MaRDI QIDQ5120220

Kazuhiro Yokoyama, Tristan Vaccon, Thibaut Verron

Publication date: 9 September 2020

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

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

zbMATH Keywords

algorithmsGrö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 (3)

Solving p-adic polynomial systems via iterative eigenvector algorithms ⋮ Axioms for a theory of signature bases ⋮ Complexity bounds on Semaev's naive index calculus method for ECDLP

This page was built for publication: On Affine Tropical F5 Algorithms