SMART is a full-text retrieval system built by Gerard Salton around 1970, widely available today, that proved the feasibility of automatic text indexing. It uses a vector space model.