SyNRAC: A Toolbox for Solving Real Algebraic Constraints
From MaRDI portal
Publication:2879171
DOI10.1007/978-3-662-44199-2_78zbMath1437.13005OpenAlexW2070009398MaRDI QIDQ2879171
Hitoshi Yanami, Hirokazu Anai, Hidenao Iwane
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
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) Computational real algebraic geometry (14Q30)
Related Items (3)
Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? ⋮ CGSQE/SyNRAC ⋮ SYNRAC
Uses Software
This page was built for publication: SyNRAC: A Toolbox for Solving Real Algebraic Constraints
