• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 9,384
Next 10 →

MULTILISP: a language for concurrent symbolic computation

by Robert H. Halstead - 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

by Marco Aldinucci, Sonia Campa Marco, Danelutto Peter, Kilpatrick Massimo, M. Aldinucci , 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 . . .

by Dimitrios Pappas, et al. - LINEAR ALGEBRA AND ITS APPLICATIONS 437 (2012) 1317–1331 , 2012
"... ..."
Abstract - Add to MetaCart
Abstract not found

Symbolic computation

by William J. Turner
"... ..."
Abstract - Add to MetaCart
Abstract not found

Symbolic Computing with Grassman Variables

by unknown authors , 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

by Paul S. Wang
"... 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

by Sebastian Freundt, Peter Horn, Er Konovalov, Steve Linton, Dan Roozemond - 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

by Boi Faltings , 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 ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
it can be implemented in symbolic computation.

SYMBOLIC COMPUTATION: SYSTEMS AND APPLICATIONS

by Algimantas Juozapavi Èius
"... 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

by Michael P. Barnett , 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
Next 10 →
Results 1 - 10 of 9,384
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University