Title: Computational aspects of lattice theory