Stéphane Le Roux
Stéphane Le Roux
LSV, école normale supérieure de Paris-Saclay
Verified email at lsv.fr
Title
Cited by
Cited by
Year
A machine-checked proof of the odd order theorem
G Gonthier, A Asperti, J Avigad, Y Bertot, C Cohen, F Garillot, S Le Roux, ...
International Conference on Interactive Theorem Proving, 163-179, 2013
3722013
Connected choice and the Brouwer fixed point theorem
V Brattka, S Le Roux, JS Miller, A Pauly
Journal of Mathematical Logic 19 (01), 1950004, 2019
272019
Infinite sequential games with real-valued payoffs
S Le Roux, A Pauly
Proceedings of the joint meeting of the twenty-third EACSL annual conference …, 2014
272014
Finite choice, convex choice and finding roots
SL Roux, A Pauly
arXiv preprint arXiv:1302.0380, 2013
262013
On the computational content of the Brouwer fixed point theorem
V Brattka, S Le Roux, A Pauly
Conference on Computability in Europe, 56-67, 2012
262012
Singular coverings and non‐uniform notions of closed set computability
S Le Roux, M Ziegler
Mathematical Logic Quarterly 54 (5), 545-560, 2008
262008
Acyclic preferences and existence of sequential Nash equilibria: a formal and constructive equivalence
S Le Roux
International Conference on Theorem Proving in Higher Order Logics, 293-309, 2009
242009
Generalisation and formalisation in game theory
S Le Roux
Lyon, École normale supérieure (sciences), 2008
192008
Infinite sequential Nash equilibrium
S Le Roux
Logical Methods in Computer Science 9 (2), 2013
172013
Weihrauch degrees of finding equilibria in sequential games
S Le Roux, A Pauly
Conference on Computability in Europe, 246-257, 2015
162015
Static analysis by abstract interpretation: A mathematical programming approach
E Goubault, S Le Roux, J Leconte, L Liberti, F Marinelli
Electronic notes in theoretical computer science 267 (1), 73-87, 2010
142010
On the existence of weak subgame perfect equilibria
V Bruyère, S Le Roux, A Pauly, JF Raskin
International Conference on Foundations of Software Science and Computation …, 2017
132017
From winning strategy to Nash equilibrium
S Le Roux
Mathematical logic quarterly 60 (4-5), 354-371, 2014
132014
Weihrauch degrees of finding equilibria in sequential games
SL Roux, A Pauly
arXiv preprint arXiv:1407.5587, 2014
132014
Extending finite-memory determinacy to multi-player games
S Le Roux, A Pauly
Information and Computation 261, 676-694, 2018
122018
The Brouwer fixed point theorem revisited
V Brattka, S Le Roux, JS Miller, A Pauly
Conference on Computability in Europe, 58-67, 2016
112016
Infinite subgame perfect equilibrium in the Hausdorff difference hierarchy
S Le Roux
International Conference on Topics in Theoretical Computer Science, 147-163, 2015
112015
Acyclicity and Finite Linear Extendability: a Formal and Constructive Equivalence.
S Le Roux
102007
A discrete Nash theorem with quadratic complexity and dynamic equilibria
S Le Roux, P Lescanne, R Vestergaard
Research Report IS-RR-2006-006, JAIST, 2006
102006
An existence theorem of Nash equilibrium in Coq and Isabelle
SL Roux, É Martin-Dorel, JG Smaus
arXiv preprint arXiv:1709.02096, 2017
72017
The system can't perform the operation now. Try again later.
Articles 1–20