GiNaCRA

MaRDI QIDQ18776swMATHFDO

Official website http://ginacra.sourceforge.net/

Cited in

(5)

• A symbiosis of interval constraint propagation and cylindrical algebraic decomposition
• I-RiSC: an SMT-compliant solver for the existential fragment of real algebra
• CArL
• I-RiSC
• Modular strategic SMT solving with \textbf{SMT-RAT}

This page was built for software: GiNaCRA