libpoly

swMATH5752MaRDI QIDQ17891FDOQ17891

Author name not available (Why is that?)

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