All the files related to the Eigen package <http://eigen.tuxfamily.org/index.php>