2853 search results - page 254 / 571 » On Coherence in Computer Algebra |
151
Voted
AAECC
2010
Springer
15 years 5 months ago
2010
Springer
The aim of this paper is a comprehensive presentation of the geometrical tools which are necessary to prove the correctness of several up to date algorithms with intrinsic complex...
139
click to vote
CJ
2010
15 years 5 months ago
2010
Abstract. Motivated by research on how topology may be a helpful foundation for building information modeling (BIM), a relational database version of the notions of chain complex a...
121
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this note we reinvestigate the task of computing creative telescoping relations in differential-difference operator algebras. Our approach is based on an ansatz that e...
152
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
PGA (ProGram Algebra) is an algebra of programs which concerns programs in their simplest form: sequences of instructions. Molecular dynamics is a simple model of computation deve...
135
click to vote
FOCM
2008
15 years 5 months ago
2008
In this paper, we consider some matrix subgroups of the general linear group and in particular the special linear group that are defined by a quadratic matrix identity. The Lie al...