Mapleのeliminateってまだ邦訳されてないから、最近追加された機能かな？
個人的にMathematicaで一番重宝してる変数の整理、消去がMapleだと今市だな。