Mathieu Hoyrup

Available identifiers

zbMath Open hoyrup.mathieuMaRDI QIDQ418116

List of research outcomes

Publication	Date of Publication	Type
Notes on overt choice	2024-01-31	Paper
Strong computable type	2023-11-30	Paper
The surjection property and computable type	2023-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q5874279	2023-02-07	Paper
Degrees of non-computability of homeomorphism types of Polish spaces	2022-12-16	Paper
Realizing semicomputable simplices by computable dynamical systems	2022-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q5092410	2022-07-21	Paper
The fixed-point property for represented spaces	2022-04-01	Paper
Computability of finite simplicial complexes	2022-02-10	Paper
Computable Measure Theory and Algorithmic Randomness	2022-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q5002816	2021-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q5150971	2021-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q5144613	2021-01-19	Paper
Computability on quasi-Polish spaces	2020-05-12	Paper
Topological analysis of representations	2018-09-06	Paper
On the information carried by programs about the objects they compute	2018-02-01	Paper
Layerwise computability and image randomness	2018-02-01	Paper
https://portal.mardi4nfdi.de/entity/Q4598249	2017-12-19	Paper
Results in descriptive set theory on some represented spaces	2017-12-11	Paper
Genericity of weakly computable objects	2017-07-17	Paper
On the Query Complexity of Real Functionals	2017-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q2965498	2017-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2955015	2017-01-24	Paper
The Typical Constructible Object	2016-08-17	Paper
Immune Systems in Computer Virology	2015-10-20	Paper
Characterizing polynomial time complexity of stream programs using interpretations	2015-05-26	Paper
Algorithmic tests and randomness with respect to a class of measures	2014-08-04	Paper
Analytical properties of resource-bounded real functionals	2014-07-31	Paper
Statistical properties of dynamical systems -- Simulation and abstract computation	2013-08-07	Paper
Computability of the ergodic decomposition	2013-04-05	Paper
Computability of the Radon-Nikodym Derivative	2013-01-30	Paper
The dimension of ergodic random sequences	2012-08-23	Paper
A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points	2012-05-24	Paper
https://portal.mardi4nfdi.de/entity/Q5390000	2012-04-24	Paper
Randomness and the Ergodic Decomposition	2011-09-09	Paper
Computability of the Radon-Nikodym Derivative	2011-09-09	Paper
Randomness on computable probability spaces -- a dynamical point of view	2011-05-23	Paper
Dynamics and abstract computability: computing invariant measures	2011-03-07	Paper
Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity	2010-12-09	Paper
An Application of Martin-Löf Randomness to Effective Probability Theory	2010-07-28	Paper
Effective symbolic dynamics, random points, statistical behavior, complexity and entropy	2010-01-12	Paper
Computability of probability measures and Martin-Löf randomness over metric spaces	2009-07-15	Paper
Applications of Effective Probability Theory to Martin-Löf Randomness	2009-07-14	Paper
A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties	2009-05-28	Paper
Computability and the morphological complexity of some dynamics on continuous domains	2008-06-24	Paper
Computability of probability measures and Martin-Lof randomness over metric spaces	2007-09-06	Paper
Dynamical systems: stability and simulability	2007-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4447223	2004-02-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mathieu Hoyrup