Development of SyNRAC--A Cylindrical Algebraic Decomposition Procedure (Computer Algebra-Design of Algorithms, Implementations and Applications研究集会報告集)