GiNaCRA
From MaRDI portal
Software:18776
No author found.
Related Items (3)
Modular strategic SMT solving with \textbf{SMT-RAT} ⋮ I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra ⋮ A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition
This page was built for software: GiNaCRA
