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