-
Hierarchical QR factorization algorithms for multi-core cluster systems
International audience -
Efficient algorithms for verified scientific computing : Numerical linear alg...
Interval arithmetic is a means to compute verified results. However, a naive use of interval arithmetic does not provide accurate enclosures of the exact results.... -
Secondary-Tertiary transition and evolutions of didactic contract: The exampl...
International audience -
Convergence of the D-iteration algorithm: convergence rate and asynchronous d...
In this paper, we define the general framework to describe the diffusion operators associated to a positive matrix. We define the equations associated to diffusion... -
Communication Avoiding ILU0 Preconditioner
In this paper we present a communication avoiding ILU0 preconditioner for solving large linear systems of equations by using iterative Krylov subspace methods. Recent... -
Point-Free, Set-Free Concrete Linear Algebra
International audience -
The algebraic cast of Poincaré's Méthodes nouvelles de la mécanique céleste
This paper aims at shedding a new light on the novelty of Poincaré's Méthodes nouvelles de la mécanique céleste. The latter's approach to the three-body-problem has... -
The filtering step of discrete logarithm and integer factorization algorithms
The security of most current public-key cryptosystems is based on the difficulty of finding discrete logarithms in large finite fields or factoring large integers.... -
Geometric degree of non conservativity
[Departement_IRSTEA]Eaux [TR1_IRSTEA]RIVAGE -
What Makes Affinity-Based Schedulers So Efficient ?
The tremendous increase in the size and heterogeneity of supercomputers makes it very difficult to predict the performance of a scheduling algorithm. Therefore,... -
Typing linear algebra: A biproduct-oriented approach
International audience -
Using Geometry to teach and learn Linear Algebra
International audience -
Formal study of efficient algorithms in linear algebra
Formal methods have reached a degree of maturity leading to the design of general-purpose proof systems, enabling both to verify the correctness of complex software... -
Equivalent permeability tensor in fractured media : an algebraic approach.
International audience -
Interaction between linear algebra and analysis in formal mathematics
In this thesis we present the formalization of three principal results that are the Jordan normal form of a matrix, the Bolzano-Weierstraß theorem, and the...
