libpoly

swMATH5752MaRDI QIDQ17891FDOQ17891

Author name not available (Why is that?)

Cited In (1)

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

This page was built for software: libpoly