Post Reply 
Journal of Symbolic Computation
07-26-2017, 02:47 AM
Post: #3
RE: Journal of Symbolic Computation
(07-03-2017 02:00 PM)compsystems Wrote:  An important paragraph.

Quote:the construction of software systems for “scientific computation”, i.e. software systems integrating NUMERIC, ALGEBRAIC, GEOMETRIC AND LOGIC COMPUTATION, EMBEDDED IN AN AUTOMATIC PROGRAMMING AND KNOWLEDGE ENGINEERING environment is a major challenge for the next decade. A common research publication integrating the component areas is of vital importance to move towards the successful development of these “MATHEMATICAL EXPERT SYSTEMS”.

Is it correct to say that 30 years later we already have expert systems in mathematics?

Yes, as in Mathematica...
Find all posts by this user
Quote this message in a reply
Post Reply 

Messages In This Thread
RE: Journal of Symbolic Computation - zeno333 - 07-26-2017 02:47 AM

User(s) browsing this thread: 1 Guest(s)