Alga is a library for algebraic construction and manipulation of graphs in Haskell. See this paper for the motivation behind the library, the underlying theory and implementation details.

Abstract: The second smallest eigenvalue of the Laplacian matrix, also known as the algebraic connectivity, characterizes the performance of some dynamic processes on networks, such as consensus in ...

Abstract: We introduce large groups of quadratic transformations of a vector space over the finite fields defined via symbolic computations with the usage of algebraic constructions of Extremal Graph ...