Sciweavers

ICLA
2009
Springer
13 years 2 months ago
Connection Matrices for MSOL-Definable Structural Invariants
Abstract. Connection matrices of graph parameters were first introduced by M. Freedman, L. Lov
Johann A. Makowsky
ANTS
1998
Springer
93views Algorithms» more  ANTS 1998»
13 years 9 months ago
Evaluation of Linear Relations between Vectors of a Lattice in Euclidean Space
We prove that to find a nontrivial integer linear relation between vectors of a lattice L IRn , whose euclidean length is at most M, one needs O n5+ (ln Mn/)1+ binary operations f...
Igor A. Semaev