Abstract
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.
- Anai, H., Yanami, H.: SyNRAC: A maple-package for solving real algebraic constraints. In: Proceedings of International Workshop on Computer Algebra Systems and their Applications (CASA) 2003 (Saint Petersburg, Russian Federation), P. M. A. Sloot et al. (Eds.): ICCS 2003, LNCS 2657, Springer (2003) 828--837 Google ScholarDigital Library
- Yanami, H., Anai, H.: Development of SyNRAC---formula description and new functions. In: Proceedings of International Workshop on Computer Algebra Systems and their Applications (CASA) 2004: ICCS 2004, LNCS 3039, Springer (2004) 286--294 Google ScholarDigital Library
- Yanami, H., Anai, H.: Development of SyNRAC. In: International Conference on Computational Science (3). (2005) 602--610 Google ScholarDigital Library
- Sturm, T.: New domains for applied quantifier elimination. In: CASC. (2006) 295--301 Google ScholarDigital Library
- Anai, H., Yanami, H., Sakabe, K., Hara, S.: Fixed-structure robust controller synthesis based on symbolic-numeric computation: design algorithms with a cacsd toolbox (invited paper). In: Proceedings of CCA/ISIC/CACSD 2004 (Taipei, Taiwan). (2004) 1540--1545Google ScholarCross Ref
Index Terms
- SyNRAC: a maple toolbox for solving real algebraic constraints
Recommendations
CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems
CGSQE is a Maple package for real quantifier elimination (QE) we are developing. It works cooperating with SyNRAC which is also a Maple package for real QE one of the authors is developing. For a given first order formula, CGSQE eliminates all possible ...
SyNRAC: a Maple-package for solving real algebraic constraints
ICCS'03: Proceedings of the 1st international conference on Computational science: PartIIn this paper we present a maple-package, named SyNRAC, for solving real algebraic constraints derived from various engineering problems. Our main tool is real quantifier elimination and we focus on its application to robust control design problems.
Development of SyNRAC
ICCS'06: Proceedings of the 6th international conference on Computational Science - Volume Part IIWe present newly implemented functions in SyNRAC, which is a Maple package for solving real algebraic constraints derived from various engineering problems. The current version of SyNRAC has added quantifier elimination (QE) by cylindrical algebraic ...
Comments