Sciweavers

JSC
2010
52views more  JSC 2010»
13 years 11 months ago
An implicitization challenge for binary factor analysis
María Angélica Cueto, Enrique A. Tob...
JSC
2010
60views more  JSC 2010»
13 years 11 months ago
Dynamic Galois Theory
Gema M. Diaz-Toca, Henri Lombardi
JSC
2010
94views more  JSC 2010»
13 years 11 months ago
P versus NP and geometry
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...
J. M. Landsberg
JSC
2010
45views more  JSC 2010»
13 years 11 months ago
Elliptic Gauss sums and applications to point counting
Preda Mihailescu, Victor Vuletescu
JSC
2010
42views more  JSC 2010»
13 years 11 months ago
Newton's method and FFT trading
Joris van der Hoeven
JSC
2010
106views more  JSC 2010»
13 years 11 months ago
Verifying pointer safety for programs with unknown calls
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
Chenguang Luo, Florin Craciun, Shengchao Qin, Guan...
JSC
2010
62views more  JSC 2010»
13 years 11 months ago
Some new simple Lie algebras in characteristic 2
We describe an algorithm for computing automorphism groups and testing isomorphisms of finite dimensional Lie algebras over finite fields. The algorithm is particularly effect...
Bettina Eick
JSC
2010
57views more  JSC 2010»
13 years 11 months ago
The invariants of the binary decimic
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 ...
Andries E. Brouwer, Mihaela Popoviciu
JSC
2010
132views more  JSC 2010»
13 years 11 months ago
Binary codes from the line graph of the n-cube
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...
W. Fish, Jennifer D. Key, E. Mwambene