Filtrer vos résultats
- 52
- 8
- 32
- 22
- 4
- 1
- 1
- 50
- 23
- 4
- 5
- 2
- 5
- 2
- 4
- 6
- 5
- 8
- 10
- 7
- 1
- 1
- 59
- 1
- 59
- 59
- 10
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 60
- 39
- 12
- 10
- 9
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
60 résultats
|
|
triés par
|
|
Static analysis of memory manipulations by abstract interpretation -- Algorithmics of tropical polyhedra, and application to abstract interpretationComputer Science [cs]. Ecole Polytechnique X, 2009. English. ⟨NNT : ⟩
Thèse
pastel-00005850v1
|
||
First steps in the formalization of convex polyhedra in CoqInternational Congress on Mathematical Software, Jul 2018, South Bend, United States
Communication dans un congrès
hal-01967576v1
|
|||
|
Tropical Fourier–Motzkin elimination, with an application to real-time verificationInternational Journal of Algebra and Computation, 2014, 24 (5), pp.569 - 607. ⟨10.1142/S0218196714500258⟩
Article dans une revue
hal-01087367v1
|
||
|
Formal Proofs for Nonlinear OptimizationJournal of Formalized Reasoning, 2015, 8 (15), pp.1-24
Article dans une revue
hal-00985675v1
|
||
A scalable algebraic method to infer quadratic invariants of switched systemsInternational Conference on Embedded Software (EMSOFT'2015), Alain Girault, INRIA, Grenoble, France and Nan Guan, Northeastern University, China, Oct 2015, Amsterdam, Netherlands. ⟨10.1109/EMSOFT.2015.7318262⟩
Communication dans un congrès
hal-01249320v1
|
|||
|
Minimal external representations of tropical polyhedraJournal of Combinatorial Theory, Series A, 2013, 120 (4), pp.907-940. ⟨10.1016/j.jcta.2013.01.011⟩
Article dans une revue
hal-00782837v1
|
||
|
Tropicalizing the simplex algorithmSIAM Journal on Discrete Mathematics, 2015, 29 (2), ⟨10.1137/130936464⟩
Article dans une revue
hal-00930913v1
|
||
|
A Formalization of Convex Polyhedra Based on the Simplex MethodInteractive Theorem Proving, Sep 2017, Brasília, Brazil
Communication dans un congrès
hal-01673390v1
|
||
|
Condition numbers of stochastic mean payoff games and what they say about nonarchimedean semidefinite programming23rd International Symposium on Mathematical Theory of Networks and Systems, Jul 2018, Hong-Kong, France
Communication dans un congrès
hal-01967555v1
|
||
|
The tropical analogue of the Helton–Nie conjecture is trueJournal of Symbolic Computation, 2019, 91, pp.129-148. ⟨10.1016/j.jsc.2018.06.017⟩
Article dans une revue
hal-01674497v1
|
||
|
Log-barrier interior point methods are not strongly polynomialSIAM Journal on Applied Algebra and Geometry, 2018, 2 (1), pp.140-178. ⟨10.1137/17M1142132⟩
Article dans une revue
hal-01674959v1
|
||
|
Interior point methods are not worse than SimplexFOCS 2022 - IEEE 63rd Annual Symposium on Foundations of Computer Science, Oct 2022, Denver, United States. pp.267-277, ⟨10.1109/FOCS54457.2022.00032⟩
Communication dans un congrès
hal-03915650v1
|
||
|
The tropicalization of the entropic barrier2020
Pré-publication, Document de travail
hal-03151661v1
|
||
|
Tropical Complementarity Problems and Nash EquilibriaSIAM Journal on Discrete Mathematics, 2023, 37 (3), pp.1645-1665. ⟨10.1137/21M1446861⟩
Article dans une revue
hal-04355016v1
|
||
|
Performance evaluation of an emergency call center: tropical polynomial systems applied to timed Petri nets13th International Conference, Formal Modeling and Analysis of Timed Systems (FORMATS 2015), Sep 2015, Madrid, Spain. ⟨10.1007/978-3-319-22975-1_2⟩
Communication dans un congrès
hal-01248814v1
|
||
|
The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on averageICALP 2014, Jul 2014, Copenhagen, France. pp.12, ⟨10.1007/978-3-662-43948-7_8⟩
Communication dans un congrès
hal-01096447v1
|
||
La méthode du simplexe tropicalROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d’aide à la décision, Société française de recherche opérationnelle et d’aide à la décision (ROADEF), Feb 2014, Bordeaux, France
Communication dans un congrès
hal-01097726v1
|
|||
|
Stationary solutions of discrete and continuous Petri nets with priorities10th EAI International Conference on Performance Evaluation Methodologies and Tools, Oct 2016, Taormina, France
Communication dans un congrès
hal-01421885v1
|
||
Solving Generic Nonarchimedean Semidefinite Programs using Stochastic Game AlgorithmsPGMO Days, Nov 2016, Palaiseau, France
Communication dans un congrès
hal-01429021v1
|
|||
|
Long and winding central paths2014
Pré-publication, Document de travail
hal-01096452v1
|
||
|
A convex programming approach to solve posynomial systemsICMS 2020 - International Congress on Mathematical Software, Jul 2020, Braunschweig, Germany
Communication dans un congrès
hal-02586208v1
|
||
|
Certification of inequalities involving transcendental functions: combining SDP and max-plus approximationEuropean Control Conference (ECC'13), Jul 2013, Zurich, Switzerland. pp.2244 - 2250
Communication dans un congrès
hal-00932348v1
|
||
A scalable algebraic method to infer quadratic invariants of switched systemsACM Transactions on Embedded Computing Systems (TECS), 2016, Special Issue on ESWEEK2015, 15 (4), ⟨10.1145/2932187⟩
Article dans une revue
hal-01423744v1
|
|||
|
What Tropical Geometry Tells Us about the Complexity of Linear ProgrammingSIAM Review, 2021, 63 (1), pp.123-164. ⟨10.1137/20M1380211⟩
Article dans une revue
hal-03505719v1
|
||
|
No self-concordant barrier interior point method is strongly polynomialSTOC 2022 - 54th Annual ACM SIGACT Symposium on Theory of Computing, Jun 2022, Rome, Italy. pp.515-528, ⟨10.1145/3519935.3519997⟩
Communication dans un congrès
hal-03915670v1
|
||
Long and winding central pathsRecent Advances in Linear Optimization, Jul 2014, Champs sur marne, France
Communication dans un congrès
hal-01097729v1
|
|||
|
Stationary solutions of discrete and continuous Petri nets with prioritiesPerformance Evaluation, 2017, 113, pp.1 - 12. ⟨10.1016/j.peva.2017.04.007⟩
Article dans une revue
hal-01674492v1
|
||
|
Certification of real inequalities: templates and sums of squaresMathematical Programming, 2014, 151 (2), pp.30. ⟨10.1007/s10107-014-0834-5⟩
Article dans une revue
hal-01096485v1
|
||
|
Solving generic nonarchimedean semidefinite programs using stochastic game algorithmsJournal of Symbolic Computation, 2018, 85, pp.25-54. ⟨10.1016/j.jsc.2017.07.002⟩
Article dans une revue
hal-01674494v1
|
||
Tropicalizing the simplex algorithmILAS 2013 - 18th Conference of the International Linear Algebra Society, Jun 2013, Providence, RI, United States
Communication dans un congrès
hal-00930959v1
|
- 1
- 2