We introduce various aspects of design and implementation of a symbolic computation toolbox, called SyNRAC, handling first-order formulas on top of Maple. SyNRAC provides us with a new set of tools for solving real algebraic constraints derived from a broad range of applications in science and engineering.
/lp/association-for-computing-machinery/synrac-a-maple-toolbox-for-solving-real-algebraic-constraints-oi1Wq13cx3