Development of SyNRAC

DOI10.1007/11758525_62zbMATH Open1155.68599OpenAlexW1503914295MaRDI QIDQ3545111FDOQ3545111

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

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cited In (6)

• Computational Science - ICCS 2004
• An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• Title not available (Why is that?)
• Truth table invariant cylindrical algebraic decomposition
• Computational Science – ICCS 2005
• SyNRAC: a toolbox for solving real algebraic constraints

Uses Software

• Maple
• SYNRAC

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)