I-RiSC

swMATH15922MaRDI QIDQ27794FDOQ27794

Author name not available (Why is that?)

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