scientific article; zbMATH DE number 2009904

zbMATH Open1033.68960MaRDI QIDQ4434828FDOQ4434828

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (12)

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

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)