Sciweavers

2887 search results - page 79 / 578
» Name Generation and Linearity
Sort
View
JSC
2008
96views more  JSC 2008»
15 years 6 months ago
Computing the algebraic relations of C-finite sequences and multisequences
We present an algorithm for computing generators for the ideal of algebraic relations among sequences which are given by homogeneous linear recurrence equations with constant coef...
Manuel Kauers, Burkhard Zimmermann
172
Voted
SIAMJO
2011
15 years 1 months ago
Erratum: Validated Linear Relaxations and Preprocessing: Some Experiments
This is a correction to R. B. Kearfott and S. Hongthong’s article [SIAM J. Optim., 16 (2005), pp. 418–433]. DOI. 10.1137/100816080 There are errors in column 4 (entitled “Und...
R. Baker Kearfott
ISSAC
2007
Springer
131views Mathematics» more  ISSAC 2007»
16 years 5 days ago
Some recent progress in exact linear algebra and related questions
We describe some major recent progress in exact and symbolic linear algebra. These advances concern the improvement of complexity estimates for fundamental problems such as linear...
Gilles Villard
WCC
2005
Springer
197views Cryptology» more  WCC 2005»
15 years 11 months ago
Linear Filtering of Nonlinear Shift-Register Sequences
Nonlinear n-stage feedback shift-register sequences over the finite field Fq of period qn − 1 are investigated under linear operations on sequences. We prove that all members o...
Berndt M. Gammel, Rainer Göttfert
GCSE
1999
Springer
15 years 10 months ago
Scoping Constructs for Software Generators
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...
Yannis Smaragdakis, Don S. Batory