Sciweavers

3145 search results - page 64 / 629
» Algebraic Linear Orderings
Sort
View
84
Voted
COMBINATORICS
2007
67views more  COMBINATORICS 2007»
15 years 18 days ago
Non-Commutative Sylvester's Determinantal Identity
Sylvester’s identity is a classical determinantal identity with a straightforward linear algebra proof. We present combinatorial proofs of several non-commutative extensions, an...
Matjaz Konvalinka
JSCIC
2008
66views more  JSCIC 2008»
15 years 17 days ago
Substructuring Preconditioners for Mortar Discretization of a Degenerate Evolution Problem
In this paper we present new efficient variants of structured preconditioners for algebraic linear systems arising from the mortar discretization of a degenerate parabolic system o...
Micol Pennacchio, Valeria Simoncini
81
Voted
MOC
1998
94views more  MOC 1998»
15 years 8 days ago
Analysis of third-order methods for secular equations
Third-order numerical methods are analyzed for secular equations. These equations arise in several matrix problems and numerical linear algebra applications. A closer look at an ex...
A. Melman
MKM
2009
Springer
15 years 7 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
109
Voted
AML
2010
96views more  AML 2010»
15 years 22 days ago
Implicational (semilinear) logics I: a new hierarchy
In Abstract Algebraic Logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this proce...
Petr Cintula, Carles Noguera