2853 search results - page 10 / 571 » On Coherence in Computer Algebra |
TCOS
2008
13 years 7 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
CRV
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper introduces a novel iterative approach to estimating local phase coherence in situations characterized by low signal-to-noise ratios. Local phase coherence is used for a...
CG
2005
Springer
13 years 7 months ago
2005
Springer
Early in the development of Computer Graphics it was realized that projective geometry was well suited for the representation of transformations. Now, it seems that another change...
ACSC
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
MFCS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. A famous lower bound for the bilinear complexity of the multiplication in associative algebras is the Alder–Strassen bound. Algebras for which this bound is tight are c...