Tarski

MaRDI QIDQ37521swMATHFDO

Official website https://www.usna.edu/Users/cs/wcbrown/tarski/index.html

Described by source

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

Cited in

(6)

• SYNRAC
• Giac
• sm
• Emscripten
• DR
• From simplification to a partial theory solver for non-linear real polynomial constraints

This page was built for software: Tarski