An Implementation Method of Boolean Gröbner Bases and Comprehensive Boolean Gröbner Bases on General Computer Algebra Systems
From MaRDI portal
Publication:2879173
DOI10.1007/978-3-662-44199-2_80zbMath1434.13003OpenAlexW633598566MaRDI QIDQ2879173
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_80
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)
Uses Software
This page was built for publication: An Implementation Method of Boolean Gröbner Bases and Comprehensive Boolean Gröbner Bases on General Computer Algebra Systems
