TopDeg

swMATH12573MaRDI QIDQ24500FDOQ24500

Author name not available (Why is that?)

Official website: http://www.cs.cas.cz/~franek/topdeg/topdeg.html

Cited In (12)

• HIBA_USNE
• Solving equations and optimization problems with uncertainty
• Codac
• ADHC
• AQCS
• smathlib
• raSAT
• HYST
• QCQP
• XSat
• Quasi-decidability of a fragment of the first-order theory of real numbers
• Effective topological degree computation based on interval arithmetic

This page was built for software: TopDeg