scientific article; zbMATH DE number 2009904

MaRDI QIDQ4434828zbMATH OpenFDO

Authors Hirokazu Anai, Hitoshi Yanami

Publication date 26 November 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2657/26570828.htm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Design techniques (robust design, computer-aided design, etc.) (93B51)

Recommendations

• Computational Science - ICCS 2004
• Computational Science – ICCS 2005
• SyNRAC: a toolbox for solving real algebraic constraints
• Development of SyNRAC
• CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems

Cited in

(12)

• Development of SyNRAC
• Special algorithm for stability analysis of multistable biological regulatory systems
• An approach to constrained polynomial optimization via nonnegative circuit polynomials and geometric programming
• Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods
• SYNRAC
• Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation
• Efficient simplification techniques for special real quantifier elimination with applications to the synthesis of optimal numerical algorithms
• Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination
• Computational Science - ICCS 2004
• SyNRAC: a toolbox for solving real algebraic constraints
• Computing with Tarski formulas and semi-algebraic sets in a web browser
• Computational Science – ICCS 2005

Describes a project that uses

Uses Software

• Maple
• QEPCAD

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4434828)