Hitoshi Yanami, Hirokazu Anai. SyNRAC: A Maple Toolbox for Solving Real Algebraic Constraints. In Andreas Dolzmann, Andreas Seidl, Thomas Sturm, editors, Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning. pages 275-279, Books on Demand, 2005.
@inproceedings{YanamiA05-0,
title = {SyNRAC: A Maple Toolbox for Solving Real Algebraic Constraints},
author = {Hitoshi Yanami and Hirokazu Anai},
year = {2005},
tags = {constraints, algebra},
researchr = {https://researchr.org/publication/YanamiA05-0},
cites = {0},
citedby = {0},
pages = {275-279},
booktitle = {Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning},
editor = {Andreas Dolzmann and Andreas Seidl and Thomas Sturm},
publisher = {Books on Demand},
isbn = {3-8334-2669-1},
}