Add to ORKGThe power of the symbolic math system REDUCE for solving large and difficult problems in science and engineering is demonstrated by a set of model problems. These include algebraic equation solving, formal variable elimination, formal power series, symbolic treatment of differential equations and applications from theoretical physics
The aim of symbolic analysis that has its origin in the design of analog circuits is the extraction ...
This report documents the program and the outcomes of Dagstuhl Seminar 15242 "Complexity of Symboli...
on the occasion of his 60th birthday The success of the symbolic mathematical computation discipline...
The algebra system REDUCE is introduced by the exposition of a number of sample problems. While thes...
An example of a problem in the physical sciences is discussed where application of various symbolic ...
One may represent polynomials not only by their coefficients but also by arithmetic circuits which e...
Contribution à un ouvrage.International audienceIn many branches of science and engineering where ma...
AbstractThe success of the symbolic mathematical computation discipline is striking. The theoretical...
Solving equations and systems of equations symbolically is a key feature of every Computer Algebra S...
In this paper we discuss systems developed to assist scientists and engineers to solve their problem...
ion, representation, communication : : : : : : : : : : 29 5.5 System and human interface design issu...
A typical applied mathematical computation is a blend of symbolic and numerical manipu-lations. &apo...
We present some techniques we have used to apply REDUCE to problems which have mathematical structur...
REDUCE is one of the most widely available and simple to use computer algebra systems. It enables us...
symopt, a package of the computer algebra system reduce, is a symbolic solver for parametric mathem...
The aim of symbolic analysis that has its origin in the design of analog circuits is the extraction ...
This report documents the program and the outcomes of Dagstuhl Seminar 15242 "Complexity of Symboli...
on the occasion of his 60th birthday The success of the symbolic mathematical computation discipline...
The algebra system REDUCE is introduced by the exposition of a number of sample problems. While thes...
An example of a problem in the physical sciences is discussed where application of various symbolic ...
One may represent polynomials not only by their coefficients but also by arithmetic circuits which e...
Contribution à un ouvrage.International audienceIn many branches of science and engineering where ma...
AbstractThe success of the symbolic mathematical computation discipline is striking. The theoretical...
Solving equations and systems of equations symbolically is a key feature of every Computer Algebra S...
In this paper we discuss systems developed to assist scientists and engineers to solve their problem...
ion, representation, communication : : : : : : : : : : 29 5.5 System and human interface design issu...
A typical applied mathematical computation is a blend of symbolic and numerical manipu-lations. &apo...
We present some techniques we have used to apply REDUCE to problems which have mathematical structur...
REDUCE is one of the most widely available and simple to use computer algebra systems. It enables us...
symopt, a package of the computer algebra system reduce, is a symbolic solver for parametric mathem...
The aim of symbolic analysis that has its origin in the design of analog circuits is the extraction ...
This report documents the program and the outcomes of Dagstuhl Seminar 15242 "Complexity of Symboli...
on the occasion of his 60th birthday The success of the symbolic mathematical computation discipline...