HomeSearchLibrary
Distance regular graph | OmniWiki