CASC 2007 | Sciweavers

15

CASC
2007
Springer

112views Mathematics» more CASC 2007»

An Efficient LLL Gram Using Buffered Transformations

13 years 8 months ago

In this paper we introduce an improved variant of the LLL algorithm. Using the Gram matrix to avoid expensive correction steps necessary in the Schnorr-Euchner algorithm and introd...

Werner Backes, Susanne Wetzel

claim paper

Read More »

11

click to vote

CASC
2007
Springer

114views Mathematics» more CASC 2007»

Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation

13 years 8 months ago

Download www.ccas.ru

We consider summation of consecutive values (v), (v +1), . . . , (w) of a meromorphic function (z) where v, w ZZ. We assume that (z) satisfies a linear difference equation L(y) = ...

Sergei A. Abramov, Marko Petkovsek

claim paper

Read More »

11

click to vote

CASC
2007
Springer

100views Mathematics» more CASC 2007»

Weak Integer Quantifier Elimination Beyond the Linear Case

13 years 8 months ago

Download www.fim.uni-passau.de

Aless Lasaruk, Thomas Sturm

claim paper

Read More »

7

click to vote

CASC
2007
Springer

88views Mathematics» more CASC 2007»

Symmetries and Dynamics of Discrete Systems

13 years 8 months ago

Download theorphys.ssu.samara.ru

Vladimir V. Kornyak

claim paper

Read More »

9

click to vote

CASC
2007
Springer

124views Mathematics» more CASC 2007»

A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form

13 years 8 months ago

Download www.risc.jku.at

We find a full system of invariants with respect to gauge transformations L g-1 Lg for third-order hyperbolic linear partial differential operators on the plane. The operators are...

Ekaterina Shemyakova, Franz Winkler

claim paper

Read More »

10

click to vote

CASC
2007
Springer

64views Mathematics» more CASC 2007»

Some Elimination Problems for Matrices

13 years 10 months ago

Download casc2007.bit.uni-bonn.de

Wilhelm Plesken, Daniel Robertz

claim paper