Leeds Mathematical Software and Hardware lab