scholarly journals Determining the structure of the Jordan normal form of a matrix by symbolic computation

1997 ◽  
Vol 252 (1-3) ◽  
pp. 221-259 ◽  
Author(s):  
T.Y. Li ◽  
Zhinan Zhang ◽  
Tianjun Wang
Keyword(s):  
Normal Form ◽  
Symbolic Computation ◽  
Jordan Normal Form

Algebraic properties of a digraph and its line digraph

2003 ◽  
Vol 04 (04) ◽  
pp. 377-393 ◽  
Author(s):  
C. Balbuena ◽  
D. Ferrero ◽  
X. Marcote ◽  
I. Pelayo
Keyword(s):  
Normal Form ◽  
Characteristic Polynomials ◽  
Jordan Normal Form ◽  
Line Digraph ◽  
Algebraic Properties ◽  
Adjacency Matrices ◽  
Number Of Cycles

Let G be a digraph, LG its line digraph and A(G) and A(LG) their adjacency matrices. We present relations between the Jordan Normal Form of these two matrices. In addition, we study the spectra of those matrices and obtain a relationship between their characteristic polynomials that allows us to relate properties of G and LG, specifically the number of cycles of a given length.

scholarly journals A New One-Pass Transformation into Monadic Normal Form

2002 ◽  
Vol 9 (52) ◽  
Author(s):  
Olivier Danvy
Keyword(s):  
Normal Form ◽  
Symbolic Computation ◽  
Normal Forms ◽  
Lambda Calculus ◽  
Higher Order

We present a translation from the call-by-value lambda-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pass, duplicates no code, generates no chains of thunks, and is properly tail recursive. It makes a crucial use of symbolic computation at translation time.

scholarly journals The geometry of modified Riemannian extensions

2009 ◽  
Vol 465 (2107) ◽  
pp. 2023-2040 ◽  
Author(s):  
E. Calviño-Louzao ◽  
E. García-Río ◽  
P. Gilkey ◽  
R. Vázquez-Lorenzo
Keyword(s):  
Normal Form ◽  
Space Form ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Jordan Normal Form ◽  
Jacobi Operators ◽  
Necessary And Sufficient

We show that every paracomplex space form is locally isometric to a modified Riemannian extension and gives necessary and sufficient conditions for a modified Riemannian extension to be Einstein. We exhibit Riemannian extension Osserman manifolds of signature (3, 3), whose Jacobi operators have non-trivial Jordan normal form and which are not nilpotent. We present new four-dimensional results in Osserman geometry.

Sign in / Sign up

Export Citation Format

Share Document