GSoC/GCI Archive
Google Summer of Code 2014

An Efficient Computational Algebra and Symbolic Linear Algebra Library in H

by Hiromi ISHII for

Gröbner basis computation is becoming more and more important. In this project, I will implement the fast and efficient algorithms, F4 and F5, to compute Gröbner basis. These algorithms require efficient symbolic sparse linear algebra computation, which Haskell lacks currently, so implementing such functionality also constitutes the important part of this project.