[comp.sys.xerox] Formula manipulation in Interlisp-D / request

KOVACS@DB0TUI11.BITNET (Peter Kovacs) (11/05/87)

      Does anybody know of a formula manipulation system written in
      Interlisp-D?
      We are working on an expert system for solving problems in robot-
      kinematics and need a general purpose formula manipulator which
      will be used mainly for simplifying polynomials and expressions
      with trigoometric terms.
      We would appreciate any helpful information.


PETER KOVACS
Technische Universitaet Berlin
Sekr. FR 2-2
Franklinstr 28/29
D-1 Berlin 12
West-Germany

e-mail:
KOVACS@DB0TUI11.BITNET
....!pyramid!tub!kovacs
....!uunet!unido!tub!kovacs