The article is based on experience of implementation of computer algebra system Bergman and on analysis of other symbolic computation systems. It is noted that many symbolic computation systems meet similar interface problems. Necessity of strict separation of calculation engine and interface shell, functions of these components, and requirements to them are motivated. The described approach wi...

in this paper, a new fractional sub-equation method is proposed for finding exact solutions of fractional partial differential equations (fpdes) in the sense of modified riemann-liouville derivative. with the aid of symbolic computation, we choose the space-time fractional zakharov-kuznetsov-benjamin-bona-mahony (zkbbm) equation in mathematical physics with a source to illustrate the validity a...

We present the results of the first four years of the European research project SCIEnce – Symbolic Computation Infrastructure in Europe (http://www.symbolic-computation.org), which aims to provide key infrastructure for symbolic computation research. A primary outcome of the project is that we have developed a new way of combining computer algebra systems using the Symbolic Computation Software...

An outline for the study of invariant theoretic (as structural) and completion (as syntactical) concepts in symbolic computation and artiicial intelligence is presented on a level of abstraction which permits a unifying viewpoint on problems in symbolic computation and artiicial intelligence. We refer to applications in computational polynomial ideal theory and in general problem-solving in the...

While the state of the art is relatively sophisticated in programming language support for computer algebra, there has been less development in programming language support for symbolic computation over the past two decades. We summarize certain advances in programming languages for computer algebra and propose a set of directions and challenges for programming languages for symbolic computation.

By means of the extended homoclinic test approach (shortly EHTA) with the aid of a symbolic computation system such as Maple, some complexiton type solutions for the (3+1)-dimensional Jimbo-Miwa equation are presented. Keywords—Jimbo-Miwa equation, Painlevé analysis, Hirota’s bilinear form, Computerized symbolic computation.