Results 121 to 130 of about 7,409 (173)

Computers for symbolic processing

Proceedings of the IEEE, 1989
A detailed survey on the motivations, design, applications, current status, and limitations of computers designed for symbolic processing is provided. Symbolic processing computations are performed at the word, relation, or meaning levels, and the knowledge used in symbolic applications may be fuzzy, uncertain, indeterminate, and ill represented ...
Benjamin W. Wah   +2 more
openaire   +1 more source

Computable symbolic dynamics

Mathematical Logic Quarterly, 2008
AbstractWe investigate computable subshifts and the connection with effective symbolic dynamics. It is shown that a decidable Π01 class P is a subshift if and only if there exists a computable function F mapping 2ℕ to 2ℕ such that P is the set of itineraries of elements of 2ℕ.
Douglas Cenzer   +2 more
openaire   +2 more sources

Parallel Symbolic Computing

Computer, 1986
Programs differ from one another in many dimensions. In one such dimension, programs can be laid out along a spectrum with predominantly symbolic programs at one end and predominantly numerical programs at the other. The differences between numerical and symbolic programs suggest different approaches to parallel processing.
openaire   +1 more source

The state of symbolic computation

ACM SIGSAM Bulletin, 1979
When I was first asked to give this banquet talk, I was somewhat hesitant to accept. I have not been very heavily involved in the field of symbolic and algebraic manipulation for the past three years. I have contented myself with such behind-the-scenes activities as serving as an associate editor for the ACM Transactions on ...
openaire   +1 more source

Distributed Symbolic Computations

Sixth International Symposium on Parallel and Distributed Computing (ISPDC'07), 2007
Symbolic computing is one of fastest growing areas of scientific computing. An overview of the state-of-the-art in symbolic computations on distributed architectures, in particular Web and Grid architectures, is presented. The background information, including typical application areas, is followed by a list of past and on-going projects involving ...
openaire   +1 more source

The maple symbolic computation system

ACM SIGSAM Bulletin, 1983
The Maple system for algebraic computation is introduced. Samples of user/system interaction and of Maple programming are presented.
Bruce W. Char   +2 more
openaire   +1 more source

The Computation of Powers of Symbolic Polynomials

SIAM Journal on Computing, 1975
Recent results on the computation of powers of symbolic polynomials are reviewed in perspective. Then a new algorithm is given which computes the nth power of a completely sparse polynomial using a linear number of multiplications. This is followed by experimental results comparing the new algorithm to iteration using both completely sparse and ...
Ellis Horowitz, Sartaj Sahni
openaire   +2 more sources

Home - About - Disclaimer - Privacy