Search - Département de mathématiques appliquées Access content directly

Filter your results

62 Results
Domains : math.math-co

Approximating the Volume of Tropical Polytopes is Difficult

Stéphane Gaubert , Marie Maccaig
International Journal of Algebra and Computation, 2019, 29 (02), pp.357--389. ⟨10.1142/S0218196718500686⟩
Journal articles hal-01675715v1
Image document

The promises and pitfalls of Stochastic Gradient Langevin Dynamics

Nicolas Brosse , Alain Durmus , Éric Moulines
NeurIPS 2018 (Advances in Neural Information Processing Systems 2018), Dec 2018, Montreal, France
Conference papers hal-01934291v1
Image document

Diffusion approximations and control variates for MCMC

Nicolas Brosse , Alain Durmus , Sean Meyn , Éric Moulines
2018
Preprints, Working Papers, ... hal-01934316v1

A Formalization of Convex Polyhedra Based on the Simplex Method

Xavier Allamigeon , Ricardo David Katz
Journal of Automated Reasoning, 2019, 63 (2), pp.323-345. ⟨10.1007/s10817-018-9477-1⟩
Journal articles hal-01967575v1
Image document

Parametric inference for diffusions observed at stopping times

Emmanuel Gobet , Uladzislau Stazhynski
2018
Preprints, Working Papers, ... hal-01879286v1

Formalizing the Face Lattice of Polyhedra

Xavier Allamigeon , Ricardo D. Katz , Pierre-Yves Strub
2021
Preprints, Working Papers, ... hal-03505724v1

Tropical Spectrahedra

Xavier Allamigeon , Stephane Gaubert , Mateusz Skomra
SIAM Applied Algebraic Geometry (SIAMAG), Jul 2017, Atlanta, United States
Conference papers hal-01676701v1

Tropical bounds for eigenvalues of matrices

Marianne Akian , Stéphane Gaubert , Andrea Marchesini
Linear Algebra and its Applications, 2014, 446, pp.281-303. ⟨10.1016/j.laa.2013.12.021⟩
Journal articles hal-00881205v1

Combinatorial simplex algorithms can solve mean payoff games

Xavier Allamigeon , Pascal Benchimol , Stéphane Gaubert , Michael Joswig
SIAM Journal on Optimization, 2014, 24 (4), pp.22. ⟨10.1137/140953800⟩
Journal articles hal-00930915v1

A Formalization of Convex Polyhedra Based on the Simplex Method

Xavier Allamigeon , Ricardo D. Katz
Interactive Theorem Proving, Sep 2017, Brasília, Brazil
Conference papers hal-01673390v1
Image document

Central limit theorem for discretization errors based on stopping time sampling

Emmanuel Gobet , Nicolas Landon , Uladzislau Stazhynski
2018
Preprints, Working Papers, ... hal-01879287v1

The Brownian limit of separable permutations

Frédérique Bassino , Mathilde Bouvel , Valentin Féray , Lucas Gerin , Adeline Pierrot et al.
Annals of Probability, 2018, 46 (4), pp.2134 - 2189. ⟨10.1214/17-AOP1223⟩
Journal articles hal-01818309v1

Log-barrier interior point methods are not strongly polynomial

Xavier Allamigeon , Pascal Benchimol , Stéphane Gaubert , Michael Joswig
SIAM Journal on Applied Algebra and Geometry, 2018, 2 (1), pp.140-178. ⟨10.1137/17M1142132⟩
Journal articles hal-01674959v1

Tropicalizing the simplex algorithm

Xavier Allamigeon , Pascal Benchimol , Stéphane Gaubert , Michael Joswig
SIAM Journal on Discrete Mathematics, 2015, 29 (2), ⟨10.1137/130936464⟩
Journal articles hal-00930913v1
Image document

Scaling Algorithms and Tropical Methods in Numerical Matrix Analysis: Application to the Optimal Assignment Problem and to the Accurate Computation of Eigenvalues

Meisam Sharify
Numerical Analysis [math.NA]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩
Theses pastel-00643836v1

Minimal external representations of tropical polyhedra

Xavier Allamigeon , R.D. Katz
Journal of Combinatorial Theory, Series A, 2013, 120 (4), pp.907-940. ⟨10.1016/j.jcta.2013.01.011⟩
Journal articles hal-00782837v1
Image document

The Page-Rényi parking process

Lucas Gerin
The Electronic Journal of Combinatorics, 2015, 22 (4), pp.P.4.4
Journal articles hal-01088818v3

Solving generic nonarchimedean semidefinite programs using stochastic game algorithms

Xavier Allamigeon , Stephane Gaubert , Mateusz Skomra
Journal of Symbolic Computation, 2018, 85, pp.25-54. ⟨10.1016/j.jsc.2017.07.002⟩
Journal articles hal-01674494v1
Image document

Polynomial Chaos Level Points Method for One-Dimensional Uncertain Steep Problems

Pierre Sochala , Olivier Le Maitre
Journal of Scientific Computing, 2019, 81 (3), pp.1987-2009. ⟨10.1007/s10915-019-01069-z⟩
Journal articles hal-02336969v1

No self-concordant barrier interior point method is strongly polynomial

Xavier Allamigeon , Stéphane Gaubert , Nicolas Vandame
STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Jun 2022, Rome Italy, France. pp.515-528, ⟨10.1145/3519935.3519997⟩
Conference papers hal-03915670v1
Image document

On the class of graphs with strong mixing properties

Mikhail Isaev , K.V Isaeva
Proceeding of MIPT, 2013, 5 (6), pp.44-54
Journal articles hal-00684088v2

Scaling limit of graph classes through split decomposition

Frédérique Bassino , Mathilde Bouvel , Valentin Féray , Lucas Gerin , Adeline Pierrot et al.
2022
Preprints, Working Papers, ... hal-03797906v1

Scaling limits of permutation classes with a finite specification: a dichotomy

Frédérique Bassino , Mathilde Bouvel , Valentin Féray , Lucas Gerin , Mickaël Maazoun et al.
Advances in Mathematics, 2022, 405, pp.108513. ⟨10.1016/j.aim.2022.108513⟩
Journal articles hal-02412965v1

Universal limits of substitution-closed permutation classes

Frédérique Bassino , Mathilde Bouvel , Valentin Féray , Lucas Gerin , Mickaël Maazoun et al.
Journal of the European Mathematical Society, 2020, 22 (11), pp.3565-3639. ⟨10.4171/JEMS/993⟩
Journal articles hal-01653572v1

Long and winding central paths

Xavier Allamigeon , Pascal Benchimol , Stephane Gaubert , Michael Joswig
Recent Advances in Linear Optimization, Jul 2014, Champs sur marne, France
Conference papers hal-01097729v1
Image document

What Tropical Geometry Tells Us about the Complexity of Linear Programming

Xavier Allamigeon , Pascal Benchimol , Stéphane Gaubert , Michael Joswig
SIAM Review, 2021, 63 (1), pp.123-164. ⟨10.1137/20M1380211⟩
Journal articles hal-03505719v1
Image document

Geometry-Aware Hamiltonian Variational Auto-Encoder

Clément Chadebec , Clément Mantoux , Stéphanie Allassonnière
2020
Preprints, Working Papers, ... hal-02974244v1

Tropical Cramer Determinants Revisited

Marianne Akian , Stéphane Gaubert , Alexander Guterman
G.L. Litvinov and S.N. Sergeev. Tropical and Idempotent Mathematics and Applications, 616, AMS, pp.45, 2014, Contemporary Mathematics
Book sections hal-00881203v1
Image document

Asymptotic enumeration of Eulerian orientations for graphs with strong mixing properties

Mikhail Isaev , Isaeva Kseniia
Journal of Applied and Industrial Mathematics / Sibirskii Zhurnal Industrial'noi Matematiki and Diskretnyi Analiz i Issledovanie Operatsii, 2013, 20 (6), pp.40-58
Journal articles hal-00730657v2

Solving Generic Nonarchimedean Semidefinite Programs Using Stochastic Game Algorithms

Xavier Allamigeon , Stephane Gaubert , Mateusz Skomra
SIAM Conference on Optimization, May 2017, Vancouver, Canada
Conference papers hal-01676704v1