3454 search results - page 55 / 691 » Modern computer algebra |
150
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
132
click to vote
EJC
2006
15 years 5 months ago
2006
We apply Computational Algebra methods to the construction of Hadamard matrices with two circulant cores, given by Fletcher, Gysin and Seberry. We introduce the concept of Hadamar...
163
click to vote
AISC
2008
Springer
15 years 7 months ago
2008
Springer
We describe the use of symbolic algebraic computation allied with AI search techniques, applied to the problem of the identification, enumeration and storage of all monoids of orde...
165
click to vote
ISPDC
2008
IEEE
15 years 12 months ago
2008
IEEE
This paper presents a package, called Heterogeneous PBLAS (HeteroPBLAS), which is built on top of PBLAS and provides optimized parallel basic linear algebra subprograms for hetero...
169
click to vote
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
Jylab is a portable and flexible scientific computing system favoring extensibility. It provides a user with a scripting language and a core set of libraries implementing numerica...