passagemath-qepcad 10.8.12

passagemath: Quantifier elimination by partial cylindrical algebraic decomposition with QEPCAD

releases

Sources