QE Software Based on Comprehensive Gröbner Systems

DOI10.1007/978-3-662-44199-2_77zbMath1434.68704OpenAlexW809094251MaRDI QIDQ2879170

Ryoya Fukasaku

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_77

zbMATH Keywords

quantifier eliminationcomprehensive Gröbner system

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) Quantifier elimination, model completeness, and related topics (03C10) Software, source code, etc. for problems pertaining to field theory (12-04)

Related Items (1)

On multivariate Hermitian quadratic forms

Uses Software

• Risa/Asir

This page was built for publication: QE Software Based on Comprehensive Gröbner Systems