libpoly

MaRDI QIDQ17891swMATHFDO

Official website https://ceur-ws.org/Vol-1889/paper3.pdf

Cited in

(2)

• Zephyrus2
• Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)

This page was built for software: libpoly