Yirmiuc / qepcad

quantifier elimination tool

•     Debian Science Maintainers
•     [email protected]
•     https://www.usna.edu/Users/cs/wcbrown/qepcad/B/QEPCAD.html
•     1.74+ds-3+b2
•     qepcad_1.74+ds-3+b2_amd64.deb
•     439.9 KiB
•     math
•     amd64
•      qepcad_1.74+ds-3.debian.tar.xz
            qepcad_1.74+ds-3.dsc
            qepcad_1.74+ds.orig.tar.xz
•     Debian Versiyonu: 1.74+ds-3+b2
•     quantifier elimination tool