Results 1 - 10
of
9,384
MULTILISP: a language for concurrent symbolic computation
- ACM Transactions on Programming Languages and Systems
, 1985
"... Multilisp is a version of the Lisp dialect Scheme extended with constructs for parallel execution. Like Scheme, Multilisp is oriented toward symbolic computation. Unlike some parallel programming languages, Multilisp incorporates constructs for causing side effects and for explicitly introducing par ..."
Abstract
-
Cited by 529 (1 self)
- Add to MetaCart
Multilisp is a version of the Lisp dialect Scheme extended with constructs for parallel execution. Like Scheme, Multilisp is oriented toward symbolic computation. Unlike some parallel programming languages, Multilisp incorporates constructs for causing side effects and for explicitly introducing
and symbolic computing
, 2015
"... Abstract We introduce a new parallel pattern derived from a specific ap-plication domain and show how it turns out to have application beyond its domain of origin. The pool evolution pattern models the parallel evolution of a population subject to mutations and evolving in such a way that a given fi ..."
Abstract
- Add to MetaCart
fitness function is optimized. The pattern has been demonstrated to be suitable for capturing and modeling the parallel patterns underpinning various evolutionary algorithms, as well as other parallel patterns typical of symbolic computation. In this paper we introduce the pattern, we discuss its
Symbolic computation of . . .
- LINEAR ALGEBRA AND ITS APPLICATIONS 437 (2012) 1317–1331
, 2012
"... ..."
Symbolic Computing with Grassman Variables
, 1995
"... A package of Maple 5.3 commands for doing calculations with anticommutative variables is presented. (Submitted to Journal of Symbolic Computation) 1 ..."
Abstract
- Add to MetaCart
A package of Maple 5.3 commands for doing calculations with anticommutative variables is presented. (Submitted to Journal of Symbolic Computation) 1
Symbolic Computation And Parallel Software
"... Two aspects of parallelism as related to symbolic computing are presented: (1) the implementation of parallel programs for the factorization of polynomials, and (2) the automatic derivation and generation of parallel codes for nite element analysis. The former illustrates the use of parallel program ..."
Abstract
-
Cited by 3 (1 self)
- Add to MetaCart
Two aspects of parallelism as related to symbolic computing are presented: (1) the implementation of parallel programs for the factorization of polynomials, and (2) the automatic derivation and generation of parallel codes for nite element analysis. The former illustrates the use of parallel
Symbolic computation software composability
- In: AISC/MKM/Calculemus, Springer LNCS
, 2008
"... Abstract. We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composability infras-tructure as part of the SCIEnce (Symbolic Computation Infrastructure for Europe) project1. One of the major results of the project so far is an OpenMath based proto ..."
Abstract
-
Cited by 3 (1 self)
- Add to MetaCart
Abstract. We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composability infras-tructure as part of the SCIEnce (Symbolic Computation Infrastructure for Europe) project1. One of the major results of the project so far is an OpenMath based
Supporting Creativity in Symbolic Computation
, 1992
"... For many people, creativity and computers are contradictory concepts: how can novel concepts arise in a machine which is designed to only do what it is programmed to do? In this paper, I give a computational model of at least one form of creativity and describe how the processes underlying it can ..."
SYMBOLIC COMPUTATION: SYSTEMS AND APPLICATIONS
"... The article presents an overview of symbolic computation systems, their classification-in-history, the most popular CAS, examples of systems and some of their applications. Symbolics versus numeric, enhancement in mathematics, computing nature of CAS, related projects, networks, references are discu ..."
Abstract
- Add to MetaCart
The article presents an overview of symbolic computation systems, their classification-in-history, the most popular CAS, examples of systems and some of their applications. Symbolics versus numeric, enhancement in mathematics, computing nature of CAS, related projects, networks, references
Reasoning in Symbolic Computation
, 2008
"... Abstract: I discuss notations for some styles of mathematical reasoning that include analogy. These notations extend the conventions of the mathematica † package mathscape that I reported recently in the Journal of Symbolic Computation. The paper introduces the reasoning objects that I call “precurs ..."
Abstract
- Add to MetaCart
Abstract: I discuss notations for some styles of mathematical reasoning that include analogy. These notations extend the conventions of the mathematica † package mathscape that I reported recently in the Journal of Symbolic Computation. The paper introduces the reasoning objects that I call
Results 1 - 10
of
9,384