Mathieu Hoyrup

61
Documents

Publications

21
11
6
6
4
3
3
2
2
2
1
9
6
4
4
4
3
3
3
3
2
2
2
2
2
2
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
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
1
1
1
1
1
1
1
1
1
1
1
1
1
4
3
4
3
1
3
2
3
4
2
5
2
3
4
6
4
3
2
1
1

Publications

Deposit thumbnail

Computable topological presentations

Mathieu Hoyrup , Alexander Melnikov , Keng Meng Ng

The Journal of Symbolic Logic, In press

Article dans une revue hal-04848634v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Notes on overt choice

Mathieu Hoyrup

Computability, 2023, pp.1-19. ⟨10.3233/COM-230458⟩

Article dans une revue hal-04164138v2
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Computability of finite simplicial complexes

Djamel Eddine Amir , Mathieu Hoyrup

ICALP, Jul 2022, Paris, France

Communication dans un congrès hal-03564904v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Randomness and the ergodic decomposition

Mathieu Hoyrup

Computability in Europe, Jun 2011, Sofia, Bulgaria. pp.122-131

Communication dans un congrès inria-00586736v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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