QEPCAD-Haskell
Popular repositories Loading
-
QEPCAD-Haskell
QEPCAD-Haskell PublicA Haskell implementation of Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
Haskell 4
Repositories
Showing 1 of 1 repositories
- QEPCAD-Haskell Public
A Haskell implementation of Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
QEPCAD-Haskell/QEPCAD-Haskell’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…