Tarski

swMATH25785MaRDI QIDQ37521FDOQ37521

Author name not available (Why is that?)

Described by source

• Polynomial constraints and unsat cores in \textsc{Tarski}

Cited In (1)

• From simplification to a partial theory solver for non-linear real polynomial constraints

This page was built for software: Tarski