I-RiSC

MaRDI QIDQ27794swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-21493-6_15

Cited in

(2)

• GiNaCRA
• I-RiSC: an SMT-compliant solver for the existential fragment of real algebra

This page was built for software: I-RiSC