QEPCAD-Haskell

A Haskell implementation of Quantifier Elimination by Partial Cylindrical Algebraic Decomposition

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
qepcad		qepcad
.gitignore		.gitignore
CAD.hs		CAD.hs
Isolation.hs		Isolation.hs
LICENSE		LICENSE
Polynomial.hs		Polynomial.hs
README.md		README.md
Sturm.hs		Sturm.hs
Subresultant.hs		Subresultant.hs
Types.hs		Types.hs
UPolynomial.hs		UPolynomial.hs

Provide feedback