Accéder directement au contenu

Mathieu Hoyrup

55
Documents

Publications

Image document

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
Image document

Notes on overt choice

Mathieu Hoyrup
Computability, 2023, pp.1-19. ⟨10.3233/COM-230458⟩
Article dans une revue hal-04164138v2
Image document

Comparing computability in two topologies

Djamel Eddine Amir , Mathieu Hoyrup
The Journal of Symbolic Logic, 2023, pp.1-19. ⟨10.1017/jsl.2023.17⟩
Article dans une revue hal-03702999v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Computability of finite simplicial complexes

Djamel Eddine Amir , Mathieu Hoyrup
ICALP, Jul 2022, Paris, France
Communication dans un congrès hal-03564904v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Randomness and the ergodic decomposition

Mathieu Hoyrup
Computability in Europe, Jun 2011, Sofia, Bulgaria. pp.122-131
Communication dans un congrès inria-00586736v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

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
Image document

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
Image document

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
Image document

A Rice-like theorem for primitive recursive functions

Mathieu Hoyrup
[Research Report] Inria Nancy - Grand Est (Villers-lès-Nancy, France); Loria. 2015
Rapport hal-01130868v1
Image document

On the inversion of computable functions

Mathieu Hoyrup
[Research Report] 2012
Rapport hal-00735681v2

Réécriture en présence de choix probabilistes

Mathieu Hoyrup
[Stage] A02-R-424 || hoyrup02a, 2002
Rapport inria-00100886v1
Image document

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