Sciweavers

171 search results - page 3 / 35
» Weak theories of linear algebra
Sort
View
CONCUR
1994
Springer
13 years 10 months ago
Weak Sequential Composition in Process Algebras
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
Arend Rensink, Heike Wehrheim
MKM
2009
Springer
14 years 1 months ago
Finite Groups Representation Theory with Coq
Representation theory is a branch of algebra that allows the study of groups through linear applications, i.e. matrices. Thus problems in abstract groups can be reduced to problems...
Sidi Ould Biha
ECCV
2000
Springer
14 years 8 months ago
Estimating the Jacobian of the Singular Value Decomposition: Theory and Applications
The Singular Value Decomposition (SVD) of a matrix is a linear algebra tool that has been successfully applied to a wide variety of domains. The present paper is concerned with the...
Manolis I. A. Lourakis, Théodore Papadopoul...
ACS
2010
13 years 6 months ago
Graded and Koszul Categories
Koszul algebras have arisen in many contexts; algebraic geometry, combinatorics, Lie algebras, non-commutative geometry and topology. The aim of this paper and several sequel paper...
Roberto Martínez-Villa, Øyvind Solbe...