STURM

MaRDI QIDQ25316swMATHFDO

Official website https://www-sop.inria.fr/galaad/software/synaps/SturmSolver.html

Cited in

(2)

• AIDA
• Random polynomials and expected complexity of bisection methods for real solving

This page was built for software: STURM