Previous | 
Home
Section: New Software and Platforms
RS
Functional Description: Real Roots isolation for algebraic systems with rational coefficients with a finite number of Complex Roots
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 , and
- 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 , and
- Multilinear Polynomial Systems: Root Isolation and Bit Complexity
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography