Xref: utzoo sci.math.symbolic:303 comp.ai:2018
Path: utzoo!utgpu!water!watmath!clyde!att!pacbell!ames!ubvax!vsi1!altnet!uunet!mcvax!inria!imag!lifia!gb
From: gb@lifia.imag.fr (Guilherme Bittencourt)
Newsgroups: sci.math.symbolic,comp.ai
Subject: Computer Algebra System Tutor
Message-ID: <4384@lifia.imag.fr>
Date: 13 Jul 88 13:21:05 GMT
Reply-To: gb@lifia.imag.fr (Guilherme Bittencourt)
Organization: LIFIA - IMAG, Institut National Polytechnique de GRENOBLE, France
Lines: 17


	I would like any  pointer  (references,  system names, addresses or
even source   code  :-) to  any   knowledge-based  system to    aid  in the
utilization of a computer algebra system (Reduce, Macsyma, Maple, etc).

	I am planning to build such a system as an application of my thesis
work (a system to  aid in the design  of knowledge-based systems) and  very
interested in any previous work.

	Please  answer by e-mail, I  will   summarize  if there is   enough
interest. Thanks in advance.

-- 
 Guilherme BITTENCOURT             +-----+      gb@lifia.imag.fr
 L.I.F.I.A.                        | <0> |  
 46, Avenue Felix Viallet          +-----+  
 38031 GRENOBLE Cedex - FRANCE                     (33) 76574668