Journal of Symbolic Computation

[compsystems]

Hello.

The following article (1985) is a part of the Journal of Symbolic Computation. You can find the original PDF in the link below:
http://www.risc.jku.at/about/editorial/editorial.pdf



The link before is a source of several articles. Is this information still valid? In which parts do you agree? Or would you like to add something?

Besides, I attached an editable version in Spanish and English. The spanish version requires a review of a volunteer.

Thanks.

http://eonicasys.com.co/public/math/CAS/...NG_SPN.pdf

[compsystems]

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?

[zeno333]

(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...