Development of SyNRAC

Authors:
Hitoshi Yanami;Hirokazu Anai
Affiliations:
Information Technology Core Laboratories, Fujitsu Laboratories Ltd, Kawasaki, Japan;Information Technology Core Laboratories, Fujitsu Laboratories Ltd, Kawasaki, Japan
Venue:
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III
Year:
2005

Citing 4
Cited 2

The complexity of linear problems in fields

Journal of Symbolic Computation
Simulation and optimization by quantifier elimination

Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Improved projection for cylindrical algebraic decomposition

Journal of Symbolic Computation
SyNRAC: a Maple-package for solving real algebraic constraints

ICCS'03 Proceedings of the 1st international conference on Computational science: PartI

SyNRAC: a maple toolbox for solving real algebraic constraints

ACM Communications in Computer Algebra
Algorithmic algebraic model checking IV: characterization of metabolic networks

AB'07 Proceedings of the 2nd international conference on Algebraic biology

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present newly implemented procedures 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 decomposition (CAD) as well as QE by virtual substitution for weakly parametric linear formulas. We also show an application of CAD-based QE to the common Lyapunov function problem.