CGSQE/SyNRAC

DOI10.1145/3015306.3015313zbMath1365.68488OpenAlexW2547396449MaRDI QIDQ5270200

Ryoya Fukasaku, Yosuke Sato, Hidenao Iwane

Publication date: 22 June 2017

Published in: ACM Communications in Computer Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3015306.3015313

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 (2)

CGSQE ⋮ On multivariate Hermitian quadratic forms

Uses Software

• Maple
• SYNRAC

Cites Work

• Quantifier elimination for real algebra -- the quadratic case and beyond
• Comprehensive Gröbner bases
• Improving a CGS-QE Algorithm
• Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems
• SyNRAC: A Toolbox for Solving Real Algebraic Constraints
• A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: CGSQE/SyNRAC