censor

n : a person who is authorized to read publications or

correspondence or to watch theatrical performances and

suppress in whole or in part anything considered obscene

or politically unacceptable

v 1: forbid the public distribution of; as of movies or

newspapers [syn: {ban}]

2: subject to political, religious, or moral censorship; "This

magazine is censored by the government"

STENSOR

L. Hornfeldt, Stockholm, mid-80's. Symbolic math, especially

General Relativity. Implemented on top of SHEEP and MACSYMA.