シンボリックス
シンボリックスはケンブリッジに本拠地を置いていたコンピュータ製造企業である。1980年4月9日に設立された。その後、コンコードに拠点を移した。工場はロサンゼルス郊外にあった。シンボリックスは、LISPの実行に最適化されたシングルユーザー型コンピュータであるLISPマシンを設計製造していた。また、ソフトウェア技術においても多大な進歩をもたらし、1980年代から90年代にかけて最高と言われたソフトウェア開発環境を提供していた。これは現在では、ヒューレット・パッカードの Alpha 上で動作する Tru64 UNIX 向けの Open Genera として販売されている。そのLISPマシンは、製品として販売された初の「ワークステーション」であった（ただし、当時はワークステーションとは呼ばれていない）。
Macsyma
パヴェルはシンボリックスの Macsyma 部門を1986年初めごろまで指揮していた。1986年後半にはリチャード・ペッティに引き継がせ、シンボリックス社内の衝突を避けるため、経営陣は Macsyma の販売を減らす方針を採用した。Macsyma部門の従業員数は削減されたが、営業部門は強化し、顧客が求める機能を開発することに集中するようにした。例えば、グレブナー基底を求めるアルゴリズムは1970年代にMITで発展したが、1987年まで製品版 Macsyma にそれが搭載されることはなかった。1987年、Macsyma の年間売り上げはほぼ倍増した。マニュアルやオンラインヘルプが改良され、コマンド名をさらに覚えやすくし、Macsyma は格段に使いやすくなっていった。ペッティはシンボリックス経営陣に対して、Macsyma はハードウェア部門の戦略とは切り離して出資されるべき戦略事業単位だと主張した。しかし、シンボリックスはその後も Macsyma 部門の人員を削減している。シンボリックスは多大な赤字を出しているハードウェア部門の赤字補填のドル箱として Macsyma を使おうとした。