Overall Objectives

Research Program

Application Domains

New Results

- Certified non-conservative tests for the structural stability of discrete multidimensional systems
- Computing period matrices and the Abel-Jacobi map of superelliptic curves
- Voronoi diagram of orthogonal polyhedra in two and three dimensions
- A symbolic computation approach towards the asymptotic stability analysis of differential systems with commensurate delays
- On the computation of stabilizing controllers of multidimensional systems
- Algebraic aspects of the exact signal demodulation problem
- General closed-form solutions of the position self-calibration problem
- Certified lattice reduction
- Using Maple to analyse parallel robots
- On the effective computation of stabilizing controllers of 2D systems
- Updating key size estimations for pairings
- Matrix formulae for Resultants and Discriminants of Bivariate Tensor-product Polynomials
- Separation bounds for polynomial systems
- On the maximal number of real embeddings of minimally rigid graphs in {\mathbb{R}}^{2}, {\mathbb{R}}^{3} and {S}^{2}
- Multilinear Polynomial Systems: Root Isolation and Bit Complexity

Bilateral Contracts and Grants with Industry

Partnerships and Cooperations

Bibliography

Overall Objectives

Research Program

Application Domains

New Results

- Certified non-conservative tests for the structural stability of discrete multidimensional systems
- Computing period matrices and the Abel-Jacobi map of superelliptic curves
- Voronoi diagram of orthogonal polyhedra in two and three dimensions
- A symbolic computation approach towards the asymptotic stability analysis of differential systems with commensurate delays
- On the computation of stabilizing controllers of multidimensional systems
- Algebraic aspects of the exact signal demodulation problem
- General closed-form solutions of the position self-calibration problem
- Certified lattice reduction
- Using Maple to analyse parallel robots
- On the effective computation of stabilizing controllers of 2D systems
- Updating key size estimations for pairings
- Matrix formulae for Resultants and Discriminants of Bivariate Tensor-product Polynomials
- Separation bounds for polynomial systems
- On the maximal number of real embeddings of minimally rigid graphs in {\mathbb{R}}^{2}, {\mathbb{R}}^{3} and {S}^{2}
- Multilinear Polynomial Systems: Root Isolation and Bit Complexity

Bilateral Contracts and Grants with Industry

Partnerships and Cooperations

Bibliography