Development of SyNRAC -- formula description and new functions

DOI10.1007/978-3-540-25944-2_37MaRDI QIDQ5712773zbMATH OpenOpenAlexFDO

Authors Hitoshi Yanami, Hirokazu Anai

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98005

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Development of SyNRAC
• Development of SyNRAC
• SYNRAC: A Maple-package for solving real algebraic constraints
• SyNRAC: a toolbox for solving real algebraic constraints
• CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems

Cited in

(6)

• SyNRAC: a toolbox for solving real algebraic constraints
• Development of SyNRAC
• Fast simplifications for Tarski formulas based on monomial inequalities
• SYNRAC: A Maple-package for solving real algebraic constraints
• Development of SyNRAC
• Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination

Describes a project that uses

Uses Software

• Maple
• QEPCAD
• SYNRAC

This page was built for publication: Development of SyNRAC -- formula description and new functions

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