Binary package “qepcad” in ubuntu noble
quantifier elimination tool
QEPCAD is an implementation of quantifier elimination by partial
cylindrical algebraic decomposition due originally to Hoon Hong, and
subsequently added on to by many others. It is an interactive
command-line program written in C/C++, and based on the SACLIB
library. Presented here is QEPCAD B version 1.x, the "B" designating a
substantial departure from the original QEPCAD and distinguishing it
from any development of the original that may proceed in a different
direction. QEPCAD and the SACLIB library are the result of a program
of research by George Collins and his PhD students that has spanned
several decades ... and continues still!
Source package
Published versions
- qepcad 1.74+ds-3build1 in amd64 (Release)
- qepcad 1.74+ds-4build2 in amd64 (Proposed)
- qepcad 1.74+ds-4build2 in amd64 (Release)
- qepcad 1.74+ds-3build1 in arm64 (Release)
- qepcad 1.74+ds-4build2 in arm64 (Proposed)
- qepcad 1.74+ds-4build2 in arm64 (Release)
- qepcad 1.74+ds-3build1 in armhf (Release)
- qepcad 1.74+ds-4build2 in armhf (Proposed)
- qepcad 1.74+ds-4build2 in armhf (Release)
- qepcad 1.74+ds-3build1 in ppc64el (Release)
- qepcad 1.74+ds-4build2 in ppc64el (Proposed)
- qepcad 1.74+ds-4build2 in ppc64el (Release)
- qepcad 1.74+ds-3build1 in riscv64 (Release)
- qepcad 1.74+ds-4build2 in riscv64 (Proposed)
- qepcad 1.74+ds-4build2 in riscv64 (Release)
- qepcad 1.74+ds-3build1 in s390x (Release)
- qepcad 1.74+ds-4build2 in s390x (Proposed)
- qepcad 1.74+ds-4build2 in s390x (Release)