Results 261 to 270 of about 14,483 (309)
Some of the next articles are maybe not open access.
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
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
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
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
Distributed Symbolic Computations
Sixth International Symposium on Parallel and Distributed Computing (ISPDC'07), 2007Symbolic 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 state of symbolic computation
ACM SIGSAM Bulletin, 1979When 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
The maple symbolic computation system
ACM SIGSAM Bulletin, 1983The 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, 1975Recent 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
Reasoning in symbolic computation
ACM Communications in Computer Algebra, 2008I discuss notations for some styles of mathematical reasoning that include analogy. These notations extend the conventions of the mathematical package mathscape that I reported recently in the Journal of Symbolic Computation. The paper introduces the reasoning objects that I call "precursors" and "consequences lists".
openaire +1 more source
Computer algebra symbolic and algebraic computation
ACM SIGSAM Bulletin, 1982Computer algebra is an alternative and complement to numerical mathematics. Its importance is steadily increasing. This volume is the first systematic and complete treatment of computer algebra. It presents the basic problems of computer algebra and the best algorithms now known for their solution with their mathematical foundations, and complete ...
Bruno Buchberger +3 more
openaire +1 more source
Symbolic mathematical computation
Communications of the ACM, 1985Standard programming languages are inadequate for the kind of symbolic mathematical computations that theoretical physicists need to perform. Higher mathematics systems like SMP address this problem.
openaire +1 more source
Symbolic computation with sequences
Programming and Computer Software, 2006zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source