53 search results - page 6 / 11 » jsc 2008 |
JSC
2010
13 years 7 months ago
2010
We describe an algorithm for computing automorphism groups and testing isomorphisms of finite dimensional Lie algebras over finite fields. The algorithm is particularly effect...
JSC
2010
13 years 7 months ago
2010
In this primarily expository article, I describe geometric approaches to variants of P v. NP, present several results that illustrate the role of group actions in complexity theory...
JSC
2008
13 years 8 months ago
2008
Abstract. Flat theory with sequence variables and flexible arity symbols has infinitary matching and unification type. Decidability of general unification is shown and a unificatio...
JSC
2008
13 years 8 months ago
2008
Motivated by the famous 3n + 1 conjecture, we call a mapping from Z to Z residue-class-wise affine if there is a positive integer m such that it is affine on residue classes (mod m...
JSC
2008
13 years 8 months ago
2008
In this paper we apply methods of commutative algebra to analysis of systems of PDEs. More precisely, we show that systems which are parabolic in a generalized sense are equivalen...