SyNRAC: a Maple-package for solving real algebraic constraints

Authors:
Hirokazu Anai;Hitoshi Yanami
Affiliations:
Information Technology Core Laboratories, Fujitsu Laboratories Ltd., Kawasaki, Japan;Information Technology Core Laboratories, Fujitsu Laboratories Ltd., Kawasaki, Japan
Venue:
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Year:
2003

Citing 6
Cited 8

The complexity of linear problems in fields

Journal of Symbolic Computation
Sturm-Habicht sequence

ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Partial Cylindrical Algebraic Decomposition for quantifier elimination

Journal of Symbolic Computation
Robust multi-objective feedback design by quantifier elimination

Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Simplification of quantifier-free formulae over ordered fields

Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition

Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages

Sum of roots with positive real parts

Proceedings of the 2005 international symposium on Symbolic and algebraic computation
SyNRAC: a maple toolbox for solving real algebraic constraints

ACM Communications in Computer Algebra
The Optimal H∞ Norm of a Parametric System Achievable Using a Static Feedback Controller

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
The Optimal H∞ Norm of a Parametric System Achievable by an Output Feedback Controller

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation

CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
Development of SyNRAC

ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III
Development of SyNRAC

ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
On the computation of the defining polynomial of the algebraic Riccati equation

CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

In 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.