TopDeg

MaRDI QIDQ24500swMATHFDO

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

Cited in

(12)

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

This page was built for software: TopDeg