qepcad

v 2023.03.12 Updated: 1 year ago

Quantifier Elimination by Partial Cylindrical Algebraic Decomposition


https://github.com/PetterS/qepcad

To install qepcad, paste this in macOS terminal after installing MacPorts

sudo port install qepcad

Add to my watchlist

Installations 0
Requested Installations 0