Skip to content

@QEPCAD-Haskell QEPCAD-Haskell

Change the repository type filter

All

    Repositories list

    1 repository

    • QEPCAD-Haskell

      Public
      A Haskell implementation of Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
      Haskell
      •
      MIT License
      •0•4•0•0•Updated May 4, 2018May 4, 2018