Results 271 to 280 of about 14,483 (309)

Computation is Symbol Manipulation

The Computer Journal, 2012
Computation can be seen as symbol manipulation Indeed, a computation is a sequence of simple, well-defined steps that can lead to the solution of a problem. The problem itself must be defined exactly and unambiguously, and each step in the computation that solves the problem must be described in very specific terms.
openaire   +1 more source

Methodologies of Symbolic Computation

2018
The methodologies of computer algebra are about making algebra (in the broad sense) algorithmic, and efficient as well. There are ingenious algorithms, even in the obvious settings, and also mechanisms where problems are translated into other (generally smaller) settings, solved there, and translated back. Much of the efficiency of modern systems comes
openaire   +1 more source

Symmetries and Symbolic Computation

1993
Abstract In this paper we show some applications of our interactive REDUCE programs for calculating classical, non-classical, and Lie-Backlund symmetries of differential equations. These programs are easy to use and do not require an in-depth knowledge of LISP or REDUCE.
openaire   +2 more sources

Symbolic computation and chemistry

1985
A survey of symbolic computation in chemistry is presented, emphasizing the impact on chemical information systems (storage and retrieval of chemical constitutional graphs), the enumeration and structural representation of chemical isomers.
openaire   +1 more source

Symbolic Computations in Operations Research

SIAM Review, 1994
Summary: While symbolic computation is enjoying success in its applications towards engineering and physical sciences, its application in operations research is still in an infancy stage. The purpose of this article is to demonstrate the use of symbolic manipulations for the automatic generation of solutions necessary for theoretical and practical ...
openaire   +2 more sources

Symbolic computation and teaching

1996
Since 1989, the author has tried to show that it is possible to put a complete semester-long course in machine-held form. Several examples have been carried out (in Mathematica), and the paper reports on the experience, on the problems encountered, and on some suggestions for future developments.
openaire   +1 more source

Computer Algebra Systems and Symbolic Computations

Journal of Mathematical Sciences, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

On the Complexity of Symbolic Computation

Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation, 2022
openaire   +1 more source

Symbolic mathematical computation

ACM SIGSAM Bulletin, 1976
The impact of high-speed computers on the scientific community over the past 25 years has been well documented. Their successful use for numerical computations in a number of areas of engineering and the sciences was followed by an interest in their being employed for 'literal' or symbolic computations. Problems in celestial mechanics, mathematics, and
openaire   +1 more source

Symbolic Computation: Computer Algebra and Logic

1996
In this paper we present our personal view of what should be the next step in the development of symbolic computation systems. The main point is that future systems should integrate the power of algebra and logic. We identify four gaps between the future ideal and the systems available at present: the logic, the syntax, the mathematics, and the prover ...
openaire   +1 more source