JSC
2010
14 years 11 months ago
2010
59
Voted
JSC
2010
14 years 11 months ago
2010
103
Voted
JSC
2010
14 years 11 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...
66
Voted
JSC
2010
14 years 11 months ago
2010
63
Voted
JSC
2010
14 years 11 months ago
2010
61
Voted
JSC
2010
14 years 11 months ago
2010
107
Voted
JSC
2010
14 years 11 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...
108
Voted
JSC
2010
14 years 11 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...
68
Voted
JSC
2010
14 years 11 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 ...
109
Voted
JSC
2010
14 years 11 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...