Toric border basis
From MaRDI portal
Publication:3452414
DOI10.1145/2608628.2608652zbMath1325.68296arXiv1406.0935OpenAlexW2162295527MaRDI QIDQ3452414
Philippe Trebuchet, Mourrain, Bernard
Publication date: 11 November 2015
Published in: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1406.0935
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Solving polynomial systems; resultants (13P15)
Related Items
Border bases for lattice ideals ⋮ Dimension results for extremal-generic polynomial systems over complete toric varieties ⋮ Computation of invariants of finite abelian groups
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Jordan
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Cylindrical algebraic decomposition using validated numerics
- The Jordan Curve Theorem, Formally and Informally
- On Computable Numbers, with an Application to the Entscheidungsproblem
- Definability and decision problems in arithmetic
This page was built for publication: Toric border basis