+- HP Forums (https://www.hpmuseum.org/forum)
+-- Forum: Not HP Calculators (/forum-7.html)
+--- Forum: Not remotely HP Calculators (/forum-9.html)
+--- Thread: Journal of Symbolic Computation (/thread-8616.html)
Journal of Symbolic Computation - compsystems - 07-03-2017 12:21 AM
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
![[Image: Journalcover_Jsc.gif]](https://upload.wikimedia.org/wikipedia/en/4/4b/Journalcover_Jsc.gif)
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/papers/scientific_article_Symbolic_Computation_ENG_SPN.pdf
RE: Journal of Symbolic Computation - compsystems - 07-03-2017 02:00 PM
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?
RE: Journal of Symbolic Computation - zeno333 - 07-26-2017 02:47 AM
(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...