Поиск в словарях
Symbol manipulation program
(SMP) Steven Wolfram's earlier symbol manipulation program, before he turned to
Mathematica
.