SyNRAC: a maple toolbox for solving real algebraic constraints

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.

REFERENCES

• 1: 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
• 2: 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
• 3: Yanami, H., Anai, H.: Development of SyNRAC. In: International Conference on Computational Science (3). (2005) 602--610
• 4: Sturm, T.: New domains for applied quantifier elimination. In: CASC. (2006) 295--301
• 5: 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--1545

INDEX TERMS

Primary Classification:
  G. Mathematics of Computing
  G.4 MATHEMATICAL SOFTWARE

Additional Classification:
  F. Theory of Computation
  F.2 ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY
      F.2.1 Numerical Algorithms and Problems

  G. Mathematics of Computing
  G.1 NUMERICAL ANALYSIS
      G.1.0 General

  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION
      I.1.2 Algorithms
          Subjects: Algebraic algorithms

General Terms:
Algorithms, Design, Theory