Development of SyNRAC

DOI10.1007/11758525_62zbMATH Open1155.68599OpenAlexW1503914295MaRDI QIDQ3545111FDOQ3545111

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)

Cited In (2)

• Title not available (Why is that?)
• Truth table invariant cylindrical algebraic decomposition

Uses Software

• Maple
• SYNRAC

   Recommendations

• Computational Science – ICCS 2005 👍 👎
• Computational Science - ICCS 2004 👍 👎
• Title not available (Why is that?) 👍 👎
• SyNRAC: A Toolbox for Solving Real Algebraic Constraints 👍 👎
• An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination 👍 👎

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)