SyNRAC: a toolbox for solving real algebraic constraints. (English) Zbl 1437.13005

Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu

Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 518-522 (2014).

Summary: We introduce various aspects of the design and the implementation of a symbolic/symbolic-numeric computation toolbox, called SyNRAC. SyNRAC is a package of commands written in the Maple language and the C language. This package indeed provides an environment for dealing with first-order formulas over the reals.
For the entire collection see [Zbl 1293.65003].

MSC:

13-04	Software, source code, etc. for problems pertaining to commutative algebra
14Q30	Computational real algebraic geometry
13P10	Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
68W30	Symbolic computation and algebraic computation

Keywords:

quantifier elimination

Software:

SYNRAC; QEPCAD; REDLOG; Maple