Previous | 
Home
Section: New Software and Platforms
MPFI
Keyword: Arithmetic
Functional Description: MPFI is a C library based on MPFR and GMP for multi precision floating point arithmetic.
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