SyNRAC: A Toolbox for Solving Real Algebraic Constraints
From MaRDI portal
Publication:2879171
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
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
Uses Software