Development of SyNRAC

DOI10.1007/11758525_62MaRDI QIDQ3545111zbMATH OpenOpenAlexFDO

Authors Hitoshi Yanami, Hirokazu Anai

Publication date 9 December 2008

Published in Computational Science – ICCS 2006 (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Computational Science – ICCS 2005
• Computational Science - ICCS 2004
• scientific article; zbMATH DE number 2009904
• SyNRAC: a toolbox for solving real algebraic constraints
• An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination

Cited in

(6)

• Computational Science - ICCS 2004
• An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• scientific article; zbMATH DE number 2009904 (Why is no real title available?)
• Truth table invariant cylindrical algebraic decomposition
• Computational Science – ICCS 2005
• SyNRAC: a toolbox for solving real algebraic constraints

Describes a project that uses

Uses Software

• SYNRAC
• Maple

This page was built for publication: Development of SyNRAC

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