Mathieu Hoyrup

Publications

Article dans une revue (25)

Computable topological presentations Mathieu Hoyrup,Alexander Melnikov,Keng Meng Ng The Journal of Symbolic Logic, In press Article dans une revue hal-04848634v1
Local generation of tilings Tom Favereau,Mathieu Hoyrup Ergodic Theory and Dynamical Systems, 2025, 45 (11), pp.3377-3418. ⟨10.1017/etds.2025.10193⟩ Article dans une revue hal-04876047v2
Descriptive complexity of topological invariants Djamel Eddine Amir,Mathieu Hoyrup Annals of Pure and Applied Logic, 2025, 176 (8), pp.103611. ⟨10.1016/j.apal.2025.103611⟩ Article dans une revue hal-04222391v1
The surjection property and computable type Djamel Eddine Amir,Mathieu Hoyrup Topology and its Applications, 2024, 355, pp.109020. ⟨10.48550/arXiv.2306.14542⟩ Article dans une revue hal-04140772v2
Comparing computability in two topologies Djamel Eddine Amir,Mathieu Hoyrup The Journal of Symbolic Logic, 2024, 89 (3), pp.1-19. ⟨10.1017/jsl.2023.17⟩ Article dans une revue hal-03702999v1
Strong computable type Djamel Eddine Amir,Mathieu Hoyrup Computability, 2023, 12 (3), pp.227-269. ⟨10.3233/COM-220430⟩ Article dans une revue hal-03806572v2
Notes on overt choice Mathieu Hoyrup Computability, 2023, pp.1-19. ⟨10.3233/COM-230458⟩ Article dans une revue hal-04164138v2
Degree Spectra of Homeomorphism Types of Compact Polish Spaces Mathieu Hoyrup,Takayuki Kihara,Victor Selivanov The Journal of Symbolic Logic, In press, pp.1-32. ⟨10.1017/jsl.2023.93⟩ Article dans une revue hal-02555111v3
Realizing semicomputable simplices by computable dynamical systems Daniel Coronel,Alexander Frank,Mathieu Hoyrup,Cristóbal Rojas Theoretical Computer Science, 2022, 933, pp.43-54. ⟨10.1016/j.tcs.2022.09.001⟩ Article dans une revue hal-03339422v1
The fixed-point property for represented spaces Mathieu Hoyrup Annals of Pure and Applied Logic, 2022, 173 (5), ⟨10.1016/j.apal.2022.103090⟩ Article dans une revue hal-03117745v2
Layerwise Computability and Image Randomness Laurent Bienvenu,Mathieu Hoyrup,Alexander Shen Theory of Computing Systems, 2017, 61 (4), pp.1353-1375. ⟨10.1007/s00224-017-9791-8⟩ Article dans une revue hal-01650910v1
Genericity of weakly computable objects Mathieu Hoyrup Theory of Computing Systems, 2017, Special Issue: Theoretical Aspects of Computer Science, 60 (3), ⟨10.1007/s00224-016-9737-6⟩ Article dans une revue hal-01095864v2
On the Information Carried by Programs About the Objects they Compute Mathieu Hoyrup,Cristóbal Rojas Theory of Computing Systems, 2017, ⟨10.1007/s00224-016-9726-9⟩ Article dans une revue hal-01413066v1
Characterizing polynomial time complexity of stream programs using interpretations Hugo Férée,Emmanuel Hainry,Mathieu Hoyrup,Romain Péchoux Theoretical Computer Science, 2015, 585, pp.41-54. ⟨10.1016/j.tcs.2015.03.008⟩ Article dans une revue hal-01112160v1
Analytical properties of resource-bounded real functionals Hugo Férée,Walid Gomaa,Mathieu Hoyrup Journal of Complexity, 2014, 30 (5), pp.33. ⟨10.1016/j.jco.2014.02.008⟩ Article dans une revue hal-00848482v1
Computability of the ergodic decomposition Mathieu Hoyrup Annals of Pure and Applied Logic, 2013, 164 (5), pp.542-549. ⟨10.1016/j.apal.2012.11.005⟩ Article dans une revue hal-00746473v1
A constructive version of Birkhoff's ergodic theorem for Martin-Lof random points Laurent Bienvenu,Adam Day,Mathieu Hoyrup,Ilya Mezhirov,Alexander Shen Information and Computation, 2012, 210, pp.021-030. ⟨10.1016/j.ic.2011.10.006⟩ Article dans une revue hal-00643629v1
Statistical properties of dynamical systems - simulation and abstract computation. Stefano Galatolo,Mathieu Hoyrup,Cristobal Rojas Chaos, Solitons & Fractals, 2012, 45 (1), pp.1-14. ⟨10.1016/j.chaos.2011.09.011⟩ Article dans une revue hal-00644790v1
Computability of the Radon-Nikodym derivative. Mathieu Hoyrup,Cristobal Rojas,Klaus Weihrauch Computability, 2012, 1 (1), pp.3-13. ⟨10.3233/COM-2012-005⟩ Article dans une revue hal-00726044v1
Randomness on Computable Probability Spaces—A Dynamical Point of View Peter Gacs,Mathieu Hoyrup,Cristobal Rojas Theory of Computing Systems, 2011, 48 (3), pp.465--485. ⟨10.1007/s00224-010-9263-x⟩ Article dans une revue inria-00531640v1
Algorithmic tests and randomness with respect to a class of measures Laurent Bienvenu,Peter Gacs,Mathieu Hoyrup,Cristobal Rojas,Alexander Shen Proceedings of the Steklov Institute of Mathematics, 2011, 274 (1), pp.34-89. ⟨10.1134/S0081543811060058⟩ Article dans une revue hal-00644785v1
Dynamics and abstract computability: computing invariant measures Stefano Galatolo,Mathieu Hoyrup,Cristobal Rojas Discrete and Continuous Dynamical Systems - Series A, 2011, 29 (1), pp.193-212. ⟨10.3934/dcds.2011.29.193⟩ Article dans une revue inria-00517367v1
Une brève introduction à la théorie effective de l'aléatoire Laurent Bienvenu,Mathieu Hoyrup Gazette des Mathématiciens, 2010, 123, pp.35-47 Article dans une revue inria-00449022v1
Effective symbolic dynamics, random points, statistical behavior, complexity and entropy Stefano Galatolo,Mathieu Hoyrup,Cristobal Rojas Information and Computation, 2010, 208 (1), pp.23-41. ⟨10.1016/j.ic.2009.05.001⟩ Article dans une revue inria-00517382v1
Computability and the morphological complexity of some dynamics on continuous domains Mathieu Hoyrup,Arda Kolçak,Giuseppe Longo Theoretical Computer Science, 2008, 398 (1-3), pp.170-182. ⟨10.1016/j.tcs.2008.01.048⟩ Article dans une revue hal-03319898v1

Communication dans un congrès (24)

Computability of finite simplicial complexes Djamel Eddine Amir,Mathieu Hoyrup ICALP, Jul 2022, Paris, France Communication dans un congrès hal-03564904v1
Descriptive complexity on non-Polish spaces Antonin Callard,Mathieu Hoyrup STACS 2020 - 37th Symposium on Theoretical Aspects of Computer Science, Mar 2020, Montpellier, France. pp.16, ⟨10.4230/LIPIcs.STACS.2020.8⟩ Communication dans un congrès hal-02298815v3
Descriptive complexity on non-Polish spaces II Mathieu Hoyrup ICALP, Jul 2020, Saarbrücken, Germany. ⟨10.4230/LIPIcs.ICALP.2020.132⟩ Communication dans un congrès hal-02483114v1
Computability on quasi-Polish spaces Mathieu Hoyrup,Cristóbal Rojas,Victor Selivanov,Donald M Stull DCFS 2019 - 21st International Conference on Descriptional Complexity of Formal Systems, Jul 2019, Kosice, Slovakia. pp.171-183 Communication dans un congrès hal-02118947v2
Semicomputable points in Euclidean spaces Mathieu Hoyrup,Donald M Stull MFCS 2019 - 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. ⟨10.4230/LIPIcs.MFCS.2019.63⟩ Communication dans un congrès hal-02154825v1
Semicomputable geometry Mathieu Hoyrup,Diego Nava Saucedo,Donald M Stull ICALP 2018 - 45th International Colloquium on Automata, Languages, and Programming, Jul 2018, Prague, Czech Republic Communication dans un congrès hal-01770562v1
Topological analysis of representations Mathieu Hoyrup CiE 2018 - Fourteenth conference on Computability in Europe, Jul 2018, Kiel, Germany Communication dans un congrès hal-01919395v1
On the extension of computable real functions Mathieu Hoyrup,Walid Gomaa Logic In Computer Science (LICS), Jun 2017, Reykjavik, Iceland Communication dans un congrès hal-01494332v1
The decidable properties of subrecursive functions Mathieu Hoyrup International Colloquium on Automata, Languages, and Programming (ICALP) 2016, Jul 2016, Rome, Italy. ⟨10.4230/LIPIcs.ICALP.2016.108⟩ Communication dans un congrès hal-01308224v1
The Typical Constructible Object Mathieu Hoyrup Computability In Europe, Jun 2016, Paris, France. pp.115 - 123, ⟨10.1007/978-3-319-40189-8_12⟩ Communication dans un congrès hal-01396167v1
On the information carried by programs about the objects they compute Mathieu Hoyrup,Cristobal Rojas STACS15, Mar 2015, Munich, Germany Communication dans un congrès hal-01067618v1
Immune Systems in Computer Virology Guillaume Bonfante,Mohamed El-Aqqad,Benjamin Greenbaum,Mathieu Hoyrup Computability in Europe 2015, Jun 2015, Bucharest, Romania. pp.10, ⟨10.1007/978-3-319-20028-6_13⟩ Communication dans un congrès hal-01208454v1
Irreversible computable functions Mathieu Hoyrup STACS - 31st Symposium on Theoretical Aspects of Computer Science - 2014, Mar 2014, Lyon, France Communication dans un congrès hal-00915952v4
Higher-order complexity in analysis Hugo Férée,Mathieu Hoyrup CCA - 10th International Conference on Computability and Complexity in Analysis - 2013, Jul 2013, Nancy, France Communication dans un congrès hal-00915973v1
On the query complexity of real functionals Hugo Férée,Mathieu Hoyrup,Walid Gomaa LICS - 28th ACM/IEEE Symposium on Logic in Computer Science, Jun 2013, New Orleans, United States. pp.103-112, ⟨10.1109/LICS.2013.15⟩ Communication dans un congrès hal-00773653v1
Computability of the Radon-Nikodym derivative Mathieu Hoyrup,Cristobal Rojas,Klaus Weihrauch Computability in Europe, Jun 2011, Sofia, Bulgaria. pp.132-141 Communication dans un congrès inria-00586740v1
Randomness and the ergodic decomposition Mathieu Hoyrup Computability in Europe, Jun 2011, Sofia, Bulgaria. pp.122-131 Communication dans un congrès inria-00586736v1
The dimension of ergodic random sequences Mathieu Hoyrup STACS'12 (29th Symposium on Theoretical Aspects of Computer Science), Feb 2012, Paris, France. pp.567-576 Communication dans un congrès inria-00606457v4
Interpretation of stream programs: characterizing type 2 polynomial time complexity Hugo Férée,Emmanuel Hainry,Mathieu Hoyrup,Romain Péchoux 21st International Symposium on Algorithms and Computation - ISAAC 2010, Dec 2010, Jeju Island, South Korea Communication dans un congrès inria-00518381v1
Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems Stefano Galatolo,Mathieu Hoyrup,Cristobal Rojas Computability and Complexity in Analysis (CCA), Jun 2010, Zhenjiang, China. pp.7-18, ⟨10.4204/EPTCS.24.6⟩ Communication dans un congrès inria-00517372v1
Randomness on Computable Probability Spaces - A Dynamical Point of View Peter Gacs,Mathieu Hoyrup,Cristobal Rojas 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. pp.469-480 Communication dans un congrès inria-00360519v1
An Application of Martin-Löf Randomness to Effective Probability Theory Mathieu Hoyrup,Cristobal Rojas 5th Conference on Computability in Europe - CiE 2009, Jul 2009, Heidelberg, Germany. pp.260-269, ⟨10.1007/978-3-642-03073-4⟩ Communication dans un congrès hal-00425556v1
Applications of Effective Probability Theory to Martin-Löf Randomness Mathieu Hoyrup,Cristobal Rojas 36th International Colloquium on Automata, Languages and Programming - ICALP 2009, Jul 2009, Rhodes, Greece. pp.549-561, ⟨10.1007/978-3-642-02927-1⟩ Communication dans un congrès hal-00425560v2
Rewriting Logic and Probabilities Olivier Bournez,Mathieu Hoyrup 14th International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, pp.61-75 Communication dans un congrès inria-00099620v1

Chapitre d'ouvrage (2)

Computable Measure Theory and Algorithmic Randomness Mathieu Hoyrup,Jason Rute Handbook of Computable Analysis, pp.227-270, 2021, 978-3-030-59234-9. ⟨10.1007/978-3-030-59234-9_7⟩ Chapitre d'ouvrage hal-02938919v1
Algorithmic randomness and layerwise computability Mathieu Hoyrup Johanna N. Y. Franklin; Christopher P. Porter. Algorithmic Randomness -- Progress and Prospects, Cambridge University Press, pp.17, 2020, ⟨10.1017/9781108781718⟩ Chapitre d'ouvrage hal-02975222v1

Autre publication scientifique (1)

Que calcule cet algorithme ? Mathieu Hoyrup 2015 Autre publication scientifique hal-01202984v1

Pré-publication, Document de travail (4)

Local generation of languages: the monotonic binary sequences Mathieu Hoyrup 2026 Pré-publication, Document de travail hal-05450050v1
Local generation of languages Mathieu Hoyrup 2025 Pré-publication, Document de travail hal-05383269v1
Local generation of tilings: the even bicolor Wang tilesets Mathieu Hoyrup,Tom Favereau 2025 Pré-publication, Document de travail hal-04876051v1
Results in descriptive set theory on some represented spaces Mathieu Hoyrup 2018 Pré-publication, Document de travail hal-01657883v1

Rapport (3)

A Rice-like theorem for primitive recursive functions Mathieu Hoyrup [Research Report] Inria Nancy - Grand Est (Villers-lès-Nancy, France); Loria. 2015 Rapport (rapport de recherche) hal-01130868v1
On the inversion of computable functions Mathieu Hoyrup [Research Report] 2012 Rapport (rapport de recherche) hal-00735681v2
Réécriture en présence de choix probabilistes Mathieu Hoyrup [Stage] A02-R-424 || hoyrup02a, 2002 Rapport inria-00100886v1

Thèse (1)

Calculabilité, aléatoire et théorie ergodique sur les espaces métriques Mathieu Hoyrup Mathématiques [math]. Université Paris-Diderot - Paris VII, 2008. Français. ⟨NNT : ⟩ Thèse tel-00322776v1

HDR (1)

Topological Aspects of Representations in Computable Analysis Mathieu Hoyrup Computer Science [cs]. Université de Lorraine, 2023 HDR tel-03932408v1