2853 search results - page 124 / 571 » On Coherence in Computer Algebra |
139
click to vote
COMPUTING
2007
15 years 4 months ago
2007
Hierarchical matrices (H-matrices) approximate matrices in a data-sparse way, and the approximate arithmetic for H-matrices is almost optimal. In this paper we present an algebrai...
115
click to vote
STACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper solves the unambiguity and the sequentiality problem for polynomially ambiguous min-plus automata. This result is proved through a decidable algebraic characte...
123
click to vote
RELMICS
2009
Springer
15 years 10 months ago
2009
Springer
Using relation algebra, we generalize Aumann’s notion of a contact relation and that of a closure operation from powersets to general membership relations and their induced parti...
121
click to vote
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
We prove in this paper that if r and s are two semilinear power series in commuting variables and s has bounded coefficients, then r-s is a rational series. This result can be tho...
118
click to vote
RELMICS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...