Sciweavers

171 search results - page 3 / 35
» Weak theories of linear algebra
Sort
View
84
Voted
CONCUR
1994
Springer
15 years 1 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
15 years 4 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
15 years 11 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...
66
Voted
ACS
2010
14 years 9 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...