SyNRAC: A Toolbox for Solving Real Algebraic Constraints

DOI10.1007/978-3-662-44199-2_78zbMath1437.13005MaRDI QIDQ2879171

Hirokazu Anai, Hidenao Iwane, Hitoshi Yanami

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_78

zbMATH Keywords

quantifier elimination

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

13-04: Software, source code, etc. for problems pertaining to commutative algebra

13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)

14Q30: Computational real algebraic geometry

Related Items

SYNRAC

Uses Software

• Maple
• QEPCAD
• REDLOG