Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!bloom-beacon!lifia.imag.fr!gb From: gb@lifia.imag.fr (Guilherme Bittencourt) Newsgroups: comp.ai.digest Subject: Computer Algebra System Tutor Message-ID: <19880718043300.5.NICK@HOWARD-JOHNSONS.LCS.MIT.EDU> Date: 18 Jul 88 04:33:00 GMT Sender: daemon@bloom-beacon.MIT.EDU Organization: The Internet Lines: 28 Approved: ailist@ai.ai.mit.edu To: comp-ai-digest@uunet.UU.NET Path: lifia!gb From: Guilherme Bittencourt Newsgroups: comp.ai.digest Subject: Computer Algebra System Tutor Date: Wed, 13 Jul 88 09:22 EDT Reply-To: 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