Results 141 to 150 of about 160,535 (190)
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ℕ.
Cenzer, Douglas +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ℕ.
Cenzer, Douglas +2 more
openaire +2 more sources
Computational Symbolic Geometry
1995The aim of this work is to present a framework for symbolic computations in Geometry. More precisely, we are interested in problems coming from robotics and vision, therefore we focus on points, linear spaces, spheres, displacements and matrices. The approach chosen consists in dealing with intrinsic properties, in order that we (most of the time ...
B. Mourrain, N. Stolfi
openaire +1 more source
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
Symbolic computing, Lisp languages, and parallel computing
Proceedings of the First International Conference on Massively Parallel Computing Systems (MPCS) The Challenges of General-Purpose and Special-Purpose Computing, 2002In this paper we review symbolic parallel programming issues. We start describing the peculiarities of symbolic programming. Next, we review the standard parallel programming framework for the imperative-like languages. Also the autoscheduling environment, proposed by Polychronopoulos (1990), is introduced.
M Mango Furnari, A Massarotti
openaire +3 more sources
Symmetries and Symbolic Computation
1993Abstract 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 mathematical computation
ACM SIGSAM Bulletin, 1976The 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
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.
Char, Bruce +2 more
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
2014
The analysis methods developed in the previous chapters are mainly for analyzing analog circuits involving semiconductor transistors.
Guoyong Shi +2 more
openaire +1 more source
The analysis methods developed in the previous chapters are mainly for analyzing analog circuits involving semiconductor transistors.
Guoyong Shi +2 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