Journal of Symbolic Computation

[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?