A parallel symbolic mathematics system.
E-mail: <karhu@cs.umu.se>.
Try this search on Wikipedia, OneLook, Google