Accueil
Consultation
Liste des articles
Par type de document
Par année
Liste par domaine
Liste par auteurs
Recherche
Recherche simple
Recherche avancée
Recherche par identifiant
Services
Export d'une liste de publications
Haltools
Aide
653 articles – 968 Notices
[english version]
.:.
Consultation
>
Liste par domaine
> Mathématiques .:.
91 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
1
-
2
-
3
-
4
-
5
-
6
-
7
...
A reconstruction of Voisin's table of quarter-squares (1817)
Roegel D.
(2013) [hal-00812834 - version 1]
Computability of the ergodic decomposition
Hoyrup M.
Annals of Pure and Applied Logic
(2012) [hal-00746473 - version 1]
On the inversion of computable functions
Hoyrup M.
(2012) [hal-00735681 - version 2]
Computability of the entropy of one-tape Turing Machines
Jeandel E.
(01/08/2012) [hal-00785232 - version 1]
Computability of the Radon-Nikodym derivative.
Hoyrup M., Rojas C., Weihrauch K.
Computability
1, 1 (2012) 3-13 [hal-00726044 - version 1]
Statistical properties of dynamical systems - simulation and abstract computation.
Galatolo S., Hoyrup M., Rojas C.
Chaos, Solitons and Fractals
45, 1 (2012) 1-14 [hal-00644790 - version 1]
The LOCOMAT Project: Recomputing Mathematical and Astronomical Tables
Roegel D.
IEEE Annals of the History of Computing
34, 2 (2012) 74-79 [hal-00701777 - version 1]
A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points
Bienvenu L., Day A., Hoyrup M., Mezhirov I., Shen A.
Information and Computation
210 (2012) 21-30 [hal-00643629 - version 1]
Algorithmic tests and randomness with respect to a class of measures
Bienvenu L., Gacs P., Hoyrup M., Rojas C., Shen A.
Proceedings of the Steklov Institute of Mathematics
274, 1 (2011) 34-89 [hal-00644785 - version 1]
Stratégies d'optimisation de la mémoire pour le calcul d'applications linéaires et l'indexation de document partagés
Ahmad M.
Université Henri Poincaré - Nancy I (14/11/2011), Adam Cichon (Dir.) [tel-00641866 - version 2]