JSC
2010
13 years 3 months ago
2010
JSC
2010
13 years 3 months ago
2010
JSC
2010
13 years 3 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
2010
13 years 3 months ago
2010
JSC
2010
13 years 3 months ago
2010
JSC
2010
13 years 3 months ago
2010
JSC
2010
13 years 3 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
JSC
2010
13 years 3 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 3 months ago
2010
We consider the algebra of invariants of binary forms of degree 10 with complex coefficients, construct a system of parameters with degrees 2, 4, 6, 6, 8, 9, 10, 14 and find the ...
JSC
2010
13 years 3 months ago
2010
We examine designs and binary codes associated with the line graph of the n-cube Qn, i.e. the Hamming graph H(n, 2). We find the automorphism groups and the parameters of the cod...