SyNRAC: a toolbox for solving real algebraic constraints

DOI10.1007/978-3-662-44199-2_78MaRDI QIDQ2879171zbMATH OpenOpenAlexFDO

Authors Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai

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

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) Computational real algebraic geometry (14Q30) Symbolic computation and algebraic computation (68W30)

Recommendations

• Computational Science - ICCS 2004
• Computational Science – ICCS 2005
• scientific article; zbMATH DE number 2009904
• Development of SyNRAC
• scientific article; zbMATH DE number 1860725

Cited in

(9)

• SYNRAC
• Development of SyNRAC
• scientific article; zbMATH DE number 2009904 (Why is no real title available?)
• scientific article; zbMATH DE number 1860725 (Why is no real title available?)
• CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems
• Computational Science – ICCS 2005
• Computational Science - ICCS 2004
• Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom?
• Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski

Describes a project that uses

Uses Software

• QEPCAD
• REDLOG
• Maple

This page was built for publication: SyNRAC: a toolbox for solving real algebraic constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2879171)