Verification of Gröbner Basis Candidates

DOI10.1007/978-3-662-44199-2_64zbMath1434.13029OpenAlexW276922170MaRDI QIDQ2879156

Kazuhiro Yokoyama, Masayuki Noro

Publication date: 8 September 2014

Published in: Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44199-2_64

zbMATH Keywords

verificationGröbner basismodular algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to commutative algebra (13-04) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Related Items (4)

Local integrability and linearizability of a \((1:-1:-1)\) resonant quadratic system ⋮ Gröbner bases of reaction networks with intermediate species ⋮ Linearizability and critical period bifurcations of a generalized Riccati system ⋮ Usage of modular techniques for efficient computation of ideal operations

Uses Software

• Risa/Asir

This page was built for publication: Verification of Gröbner Basis Candidates