GiNaCRA

swMATH6694MaRDI QIDQ18776FDOQ18776

Author name not available (Why is that?)

Cited In (3)

• A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition
• I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra
• Modular strategic SMT solving with \textbf{SMT-RAT}

This page was built for software: GiNaCRA