• 2021-2021close
• Preprint close
• FR close
• INRIA a CCSD electronic archive server close

23 pages, 4 figures, minor revision. Extended version of hal-0315165.; Faces play a central role in the combinatorial and computational aspects of polyhedra. In this paper, we present the first formalization of faces of polyhedra in the proof assistant Coq. This builds ...

Affine iterations of the form x(n+1) = Ax(n) + b converge, using real arithmetic, if the spectral radius of the matrix A is less than 1. However, substituting interval arithmetic to real arithmetic may lead to divergence of these iterations, in particular if the spectra...

International audience; offee production is an important agriculture activity which contributes significantly to the economic growth of many countries in the world. One of the major constraints to coffee production throughout the world is the damage caused by the coffee...

We introduce a notion of discrete-conformal equivalence of closed convex polyhedra in Euclidean 3-space. Using this notion, we prove a uniformization theorem for closed convex polyhedra in Euclidean 3-space.

This paper presents the computational challenge on differential geometry and topology that happened within the ICLR 2021 workshop "Geometric and Topological Representation Learning". The competition asked participants to provide creative contributions to the fields of c...

We present an implicit relaxation scheme for the simulation of compressible flows in all Mach number regimes based on a Jin Xin relaxation approach. The main features of the proposed scheme lie in its simplicity and effectiveness. Thanks to the linearity of the flux in ...

This work focuses on the development of a dedicated experimental methodology that allows for a better stochastic characterization of catalytic recombination parameters for reusable ceramic matrix composite materials when dealing with uncertain measurements and model par...

In this paper, we describe a novel iterative procedure called SISTA to learn the underlying cost in optimal transport problems. SISTA is a hybrid between two classical methods, coordinate descent ("S"-inkhorn) and proximal gradient descent ("ISTA"). It alternates betwee...

Aphids are the primary vector of plant viruses. Transient aphids, which probe several plants per day, are considered to be the principal vectors of non-persistently transmitted (NPT) viruses. However, resident aphids, which can complete their life cycle on a single host...

We present a novel analogue for finite exchangeable sequences of the de Finetti, Hewitt and Savage theorem and investigate its implications for multi-marginal optimal transport (MMOT) and Bayesian statistics. If $(Z_1,...,Z_N)$ is a finitely exchangeable sequence of $N$...