A quadratic diophantine equation solver
GPL-2.0 License
Special mathematical functions
Integration over simplices.
An Experiment in Haskell Symbolic Algebra
checkers for algebra driven design
A monad for interfacing with external SAT solvers
Numerical computation in native Haskell