We present an algorithm that computes the entire solutions of systems of two difference equations and of systems of one differential equation and one difference equation, all with complex polynomials coefficients. The problem of the determination of such solutions arose in the field of diophantine approximation. Our algorithm, which uses previous works by Abramov and Petkovsek, allows also to determine, for each of the systems considered, all the solutions of the form ......On présente un a algorithme qui calcule les solutions entières, i.e. holomorphes sur tout le plan complexe de systèmes de deux équations aux différences à coefficients polynomiaux et de systèmes formées d'un équation aux différences et d'une équation différentielle linéa...
In this paper, we consider a deterministic timed continuous Petri net model where conflicts at place...
Scheduling computational tasks on processors is a key issue for high-performance computing. Although...
A numerical study is presented of reaction-diffusion problems having singular reaction source terms,...
We prove some lower bounds for quantifier rank of formulas expressing parity of a finite set I of bo...
We are concerned with the memory usage of sparse direct solvers. We particula- rly focus on the infl...
We show that the set T of first-order sentences satisfied by all generic polynomials of sufficiently...
Conference WSOM 05 5-8 September 2005International audienceThe paper presents a method to allocate a...
We present an experiment on epistemic logic, also called knowledge logic, we have done using COQ. Th...
We apply tiling groups and height functions to tilings of regions in the plane by Wang tiles(squares...
This work deals with FPGA arithmetic operators, based on shift-and- add- algorithm for polynominal a...
Cardinal arithmetic, which has given birth to set theory,seemed to be until lately either simple (ad...
This paper presents small FPGA implementations of low precision polynomial approximations of functio...
This paper studies coalgebras from the perspective of finite observations. We introduce the notion o...
The dynamics of ionization fronts that generate a conducting body, are in simplest approximation equ...
The classical numerical range of a quadratic operator is an elliptical disk. This result is extended...
In this paper, we consider a deterministic timed continuous Petri net model where conflicts at place...
Scheduling computational tasks on processors is a key issue for high-performance computing. Although...
A numerical study is presented of reaction-diffusion problems having singular reaction source terms,...
We prove some lower bounds for quantifier rank of formulas expressing parity of a finite set I of bo...
We are concerned with the memory usage of sparse direct solvers. We particula- rly focus on the infl...
We show that the set T of first-order sentences satisfied by all generic polynomials of sufficiently...
Conference WSOM 05 5-8 September 2005International audienceThe paper presents a method to allocate a...
We present an experiment on epistemic logic, also called knowledge logic, we have done using COQ. Th...
We apply tiling groups and height functions to tilings of regions in the plane by Wang tiles(squares...
This work deals with FPGA arithmetic operators, based on shift-and- add- algorithm for polynominal a...
Cardinal arithmetic, which has given birth to set theory,seemed to be until lately either simple (ad...
This paper presents small FPGA implementations of low precision polynomial approximations of functio...
This paper studies coalgebras from the perspective of finite observations. We introduce the notion o...
The dynamics of ionization fronts that generate a conducting body, are in simplest approximation equ...
The classical numerical range of a quadratic operator is an elliptical disk. This result is extended...
In this paper, we consider a deterministic timed continuous Petri net model where conflicts at place...
Scheduling computational tasks on processors is a key issue for high-performance computing. Although...
A numerical study is presented of reaction-diffusion problems having singular reaction source terms,...