Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Documentation
Episciences.org
Sciencesconf.org
Support
Connexion
Connexion
Créer un compte
Mot de passe oublié ?
Login oublié ?
fr
en
Accueil
Déposer
Consulter
par date de publication/rédaction
par domaine
par type de publication
par collection
arXiv
Consultation les derniers dépôts
Recherche
Services
HalTools : créer sa page web
Haltools : export RAWEB
Bib2Hal : import par lot à partir d'un fichier BibTeX
Consulter les structures de recherche connues de HAL
Documentation
Aide en ligne de HAL V3
Dernières évolutions de HAL V3
Documentation API HAL
Ajouter des vignettes
Aide en ligne Haltools
Aide en ligne de Bib2hal
OpenAccess@Inria
Supports
Recherche
Filtres
Structure : Identifiant HAL de la structure ×
Auteur : IdHal (chaîne de caractères) ×
Tous ×
91 résultats
enregistrer la recherche
Type de document
Rapport
(48)
Communication dans un congrès
(20)
Article dans une revue
(17)
Ouvrage (y compris édition critique et traduction)
(3)
Pré-publication, Document de travail
(2)
Documents associés à des manifestations scientifiques -- Hal-inria+
(1)
Auteur
Bruno Salvy
(91)
Alin Bostan
(21)
Philippe Flajolet
(15)
Frédéric Chyzak
(10)
Éric Schost
(9)
Grégoire Lecerf
(8)
Marc Giusti
(6)
Paul Zimmermann
(6)
John Shackell
(5)
Michele Soria
(4)
Louis Dumont
(3)
Mioara Joldes
(3)
Romain Serra
(3)
Xavier Gourdon
(3)
Aude Rondepierre
(3)
Denis Arzelier
(3)
Jean-Bernard Lasserre
(3)
Brigitte Vallée
(2)
Claude Gomez
(2)
Eric Schost
(2)
Gilles Schaeffer
(2)
Jean-Charles Faugère
(2)
Jean-Claude Yakoubsohn
(2)
Joël Marchand
(2)
Klemens Hägele
(2)
Laurent Fousse
(2)
Magali Bardet
(2)
Philippe Dumas
(2)
Robert Cori
(2)
Stefan Gerhold
(2)
Carine Pivoteau
(2)
Dominique Rossin
(2)
Jean-Guillaume Dumas
(2)
Pierre Lairez
(2)
Marc Mezzarobba
(2)
Romain Lebreton
(2)
Alexandre Benoit
(1)
Alexandre Sedoglavic
(1)
Alexis Darrasse
(1)
Bernd Wiebelt
(1)
Bob Sedgewick
(1)
Brigitte Chauvin
(1)
Christoph Koutschan
(1)
Daniel Richardson
(1)
Danny Krizanc
(1)
Evangelos Kranakis
(1)
F. Bergeron
(1)
Francois Morain
(1)
François Ollivier
(1)
G. Labelle
(1)
James Davenport
(1)
Jonathan Borwein
(1)
Joris Van Der Hoeven
(1)
Khang Tran
(1)
L. Laforest
(1)
Laurent Habsieger
(1)
M. Petkovsek
(1)
Manuel Kauers
(1)
Muhammad F. I. Chowdhury
(1)
Peter Clote
(1)
Pierre Nicodème
(1)
Pierre-Jean Spaenlehauer
(1)
Sergey Yu. Slavyanov
(1)
Sébastien Maulat
(1)
Wojtek Szpankowski
(1)
Ziming Li
(1)
Alexandre Benoit
(1)
Kilian Raschel
(1)
Stephen Melczer
(1)
Thomas Cluzeau
(1)
Discipline
Informatique [cs]
(88)
Mathématiques [math]
(15)
Sciences de l'ingénieur [physics]
(2)
Sciences du Vivant [q-bio]
(1)
Structure
Inria Paris-Rocquencourt
(74)
Inria Grenoble - Rhône-Alpes
(17)
Laboratoire de l'Informatique du Parallélisme
(17)
Inria Saclay - Ile de France
(12)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(7)
Laboratoire de Mathématiques de Versailles
(7)
Laboratoire d'Informatique de Paris 6
(6)
Department of Computer Science
(5)
Institut de Mathématiques de Toulouse UMR5219
(5)
INRIA Lorraine
(3)
INRIA Rocquencourt
(3)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(3)
Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
(3)
Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen
(2)
Inria Sophia Antipolis - Méditerranée
(2)
Laboratoire Jean Kuntzmann
(2)
Microsoft Research - Inria Joint Centre
(2)
Research Institute for Symbolic Computation
(2)
CALFOR
(1)
Centre de Recherche en Informatique de Nancy
(1)
Computer Science Department [Princeton]
(1)
David R. Cheriton School of Computer Science
(1)
Department of Biology
(1)
Department of Computer Science [Purdue]
(1)
Department of Mathematics
(1)
Department of Mathematics and Computer Science
(1)
Faculty of Computer Science
(1)
Fédération de recherche Denis Poisson
(1)
Inria Lille - Nord Europe
(1)
Institut für Mathematik [Berlin]
(1)
Laboratoire Bordelais de Recherche en Informatique
(1)
Laboratoire d'Informatique Fondamentale de Lille
(1)
Laboratoire d'Informatique Gaspard-Monge
(1)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(1)
Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes
(1)
Laboratoire d'informatique Algorithmique : Fondements et Applications
(1)
Laboratoire de Mathématiques et Physique Théorique
(1)
School of computer science [Ottawa]
(1)
University of Waterloo [Waterloo]
(1)
Collection
INRIA
(91)
INRIA_TEST
(78)
LARA
(48)
INRIA-RRRT
(43)
CNRS
(37)
ENS-LYON
(17)
INRIA-RHA
(17)
LIP
(17)
INRIA2
(16)
INSMI
(15)
INRIA-ROCQ
(13)
INRIA-SACLAY
(12)
PARISTECH
(8)
LIX
(7)
LM-VERSAILLES
(7)
UVSQ
(7)
X
(7)
X-DEP
(7)
X-DEP-INFO
(7)
X-LIX
(7)
LIP6
(6)
UPMC
(6)
IMT
(5)
INRIA-SACLAY-2015
(5)
INSA-TOULOUSE
(5)
UNIV-PARIS-SACLAY
(5)
UNIV-TLSE2
(5)
UNIV-TLSE3
(5)
TESTANNE
(4)
UNIV-LORRAINE
(4)
INPL
(3)
INRIA-LORRAINE
(3)
INRIA-NANCY-GRAND-EST
(3)
LORIA
(3)
LORIA2
(3)
ENSI-CAEN
(2)
EPISCIENCES
(2)
GREYC
(2)
GREYC-AMACC
(2)
INPG
(2)
INRIA-SOPHIA
(2)
INRIA2017
(2)
INRIASO
(2)
LAAS
(2)
LAAS-DECISION-ET-OPTIMISATION
(2)
LAAS-MAC
(2)
LIX_EMC
(2)
LJK
(2)
LJK_MAD
(2)
LJK_MAD_CASYS
(2)
UGA
(2)
UNIV-GRENOBLE1
(2)
UNIV-PMF_GRENOBLE
(2)
UPMC_POLE_1
(2)
AECF
(1)
COMUE-NORMANDIE
(1)
CRISTAL-CFHP
(1)
CV_LIGM
(1)
CV_UNIV-MLV
(1)
EC-LILLE
(1)
ECO
(1)
ENPC
(1)
ENSEIRB
(1)
INRIA-LILLE
(1)
INRIA-MECSCI
(1)
LABRI
(1)
LAGIS
(1)
LIAFA
(1)
LIFL
(1)
LIGM
(1)
LIGM_ALGO
(1)
LIGM_MOA
(1)
LIRMM
(1)
LITIS
(1)
LMPT
(1)
MIPS
(1)
TESTBORDEAUX
(1)
UNIV-BORDEAUX
(1)
UNIV-LEHAVRE
(1)
UNIV-LILLE3
(1)
UNIV-MLV
(1)
UNIV-ORLEANS
(1)
UNIV-PARIS7
(1)
UNIV-ROUEN
(1)
UNIV-TOURS
(1)
UPEC-UPEM
(1)
USPC
(1)
X-SACLAY
(1)
Langue
anglais
(85)
français
(6)
Type de dépôt
Document
(71)
Notice
(20)
Année
2017
(2)
2016
(4)
2015
(3)
2014
(2)
2013
(2)
2012
(4)
2011
(4)
2010
(2)
2009
(6)
2008
(5)
2007
(3)
2006
(3)
2005
(1)
2004
(1)
2003
(1)
2002
(4)
2001
(3)
2000
(2)
1999
(3)
1998
(2)
1997
(4)
1996
(5)
1995
(6)
1994
(3)
1993
(5)
1992
(6)
1990
(1)
1989
(3)
1988
(1)
Rechercher
Recherche avancée…
Recherche simple…
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères) + texte intégral des PDF
Titres
Sous-titre
Titre de l'ouvrage
Résumé
Texte intégral indexé des documents PDF
Mots-clés
Tous les identifiants du document
Identifiant HAL du dépôt
Langue du document (texte)
Pays (Texte)
Ville
Auteur (multicritères)
Auteur : Nom complet
Auteur : Nom de famille
Auteur : Prénom
Auteur : Complément de nom, deuxième prénom
Auteur : Organisme payeur
Auteur : IdHal (chaîne de caractères)
Auteur : Fonction
Auteur : idHal numérique
Auteur : Identifiant
Auteur : Identifiant de l'organisme payeur
Auteur : Identifiant de la structure
Directeur de thèse
Éditeur
Éditeur scientifique
Éditeur de la série
Revues (multicritères)
Revue : Éditeur
Revue : Titre abrégé
Revue : Titre
Revue : Identifiant interne
Revue : Date de début de publication
Revue : ISSN électronique
Revue : ISSN
Revue : Éditeur
Revue : Couleur dans SHERPA/RoMEO
Revue : État dans le référentiel
Colloque (multicritères)
Colloque : Titre
Colloque : Organisateur
Colloque : date de début (Année)
Colloque : date de fin (Année)
Projets ANR (multicritères)
Projet ANR : Acronyme
Projet ANR : Acronyme de l'appel à projet
Projet ANR : Nom de l'appel à projet
Projet ANR : Référence
Projet ANR : Nom
Projet ANR : Identifiant interne
Projet ANR : État dans le référentiel
Projets européens (multicritères)
Projet européen : Acronyme
Projet européen : Identifiant de l'appel à projet
Projet européen : Référence
Projet européen : Nom
Projet européen : Date de fin
Projet européen : Financement
Projet européen : Date de début
Projet européen : État dans le référentiel
Projet européen : Identifiant interne
Structure (multicritères)
Structure : Acronyme
Structure : Nom
Structure : Code
Structure : Pays
Structure : Type
Structure : État dans le référentiel
Structure : Identifiant HAL de la structure
Date de publication : année
Date de mise en ligne : année
Date d'écriture : année
Date de modification du dépôt : année
Date de dépôt : année
Date de publication électronique : année
Collection HAL (multicritères)
Collection HAL : catégorie
Collection HAL : Code
Collection HAL : Nom
Collection HAL : Identifiant interne
Identifiant interne du contributeur/déposant
Nom complet du contributeur/déposant
Domaines
Domaine primaire
Domaine racine
Sous-domaine niveau 1
Sous-domaine niveau 2
Sous-domaine niveau 3
Statut du document
Version du document
Type de dépôt
Type de document
ISBN
Numéro - référence
Identifiant DOI
Classification
Audience
Vulgarisation
Comité de lecture - texte (oui ou non)
Actes de colloque
Référence interne
Financement
Collaborations
Enregistrement réussi
Mes recherches enregistrées / mes alertes
Une erreur est survenue lors de l'enregistrement
1
2
3
4
Tri
Pertinence
Auteur A→Z
Auteur Z→A
Titre A→Z
Titre Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 91 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
inria-00073181
v1
Rapport
Bruno Salvy
.
Algorithms seminar, 1997-1998
[Research Report] RR-3504, INRIA. 1998
inria-00073465
v1
Rapport
Marc Giusti
,
Klemens Hägele
,
Grégoire Lecerf
,
Joël Marchand
,
Bruno Salvy
.
Computing the Dimension of a Projective Variety: the Projective Noether Maple Package
[Research Report] RR-3224, INRIA. 1997
inria-00073425
v1
Rapport
Bruno Salvy
,
John Shackell
.
Symbolic Asymptotics: Multiseries of Inverse Functions
[Research Report] RR-3264, INRIA. 1997
inria-00073422
v1
Rapport
Bruno Salvy
.
Algorithms Seminar, 1996-1997
[Research Report] RR-3267, INRIA. 1997
inria-00073705
v1
Rapport
Bruno Salvy
.
Algorithms Seminar, 1995-1996
[Research Report] RR-2992, INRIA. 1996
inria-00073074
v1
Rapport
Pierre Nicodème
,
Bruno Salvy
,
Philippe Flajolet
.
Motif Statistics
[Research Report] RR-3606, INRIA. 1999
inria-00074178
v1
Rapport
Philippe Flajolet
,
Bruno Salvy
.
Computer Algebra Libraries for Combinatorial Structures
[Research Report] RR-2497, INRIA. 1995
inria-00074085
v1
Rapport
Bruno Salvy
,
Sergey Yu. Slavyanov
.
A Combinatorial Problem in the Classification of Second-Order Linear ODE's
[Research Report] RR-2600, INRIA. 1995
inria-00073832
v1
Rapport
Daniel Richardson
,
Bruno Salvy
,
John Shackell
,
Joris Van Der Hoeven
.
Asymptotic Expansions of exp-log Functions
[Research Report] RR-2859, INRIA. 1996
inria-00074021
v1
Rapport
Bruno Salvy
.
Algorithms seminar, 1994-1995
[Research Report] RR-2669, INRIA. 1995
inria-00074042
v1
Rapport
Laurent Habsieger
,
Bruno Salvy
.
On Integer Chebyshev Polynomials
[Research Report] RR-2648, INRIA. 1995
inria-00074949
v1
Rapport
Bruno Salvy
.
Efficient programming in maple : a case study
[Research Report] RR-1611, INRIA. 1992
inria-00376526
v1
Communication dans un congrès
Frédéric Chyzak
,
Manuel Kauers
,
Bruno Salvy
.
A Non-Holonomic Systems Approach to Special Function Identities
May, John.
ISSAC'09 - 34th International Symposium on Symbolic and Algebraic Computation
, Jul 2009, Seoul, South Korea. ACM Press, pp.111-118, 2009, ISSAC'09 - Proceedings of the thirty-fourth International Symposium on Symbolic and Algebraic Computation
inria-00074977
v1
Rapport
F. Bergeron
,
Philippe Flajolet
,
Bruno Salvy
.
Varieties of increasing trees
[Research Report] RR-1583, INRIA. 1992
hal-01227259
v1
Communication dans un congrès
Sébastien Maulat
,
Bruno Salvy
.
Formulas for Continued Fractions. An Automated Guess and Prove Approach
ISSAC'15
, Jul 2015, Bath, United Kingdom. ACM Press, 2015,
<10.1145/2755996.2756660>
inria-00074883
v1
Rapport
Bruno Salvy
,
John Shackell
.
Asymptotic expansions of functional inverses
[Research Report] RR-1673, INRIA. 1992
inria-00074766
v1
Rapport
M. Petkovsek
,
Bruno Salvy
.
Finding all hypergeometric solutions of linear differential equations
[Research Report] RR-1907, INRIA. 1993
inria-00074815
v1
Rapport
Philippe Flajolet
,
Xavier Gourdon
,
Bruno Salvy
.
Sur une famille de polynomes issus de l'analyse numerique
[Rapport de recherche] RR-1857, INRIA. 1993
inria-00074785
v1
Rapport
Xavier Gourdon
,
Bruno Salvy
.
Asymptotics of linear recurrences with rational coefficients
[Research Report] RR-1887, INRIA. 1993
inria-00076953
v1
Rapport
Bruno Salvy
.
General asymptotic scales and computer algebra
[Research Report] RR-1715, INRIA. 1992
inria-00076983
v1
Rapport
Bruno Salvy
.
Fast computation of some asymptotic functional inverses
[Research Report] RR-1743, INRIA. 1992
inria-00077102
v1
Rapport
Philippe Flajolet
,
Paul Zimmermann
,
Bruno Salvy
.
Automatic average-case analysis of algorithms
[Research Report] RR-1233, INRIA. 1990
inria-00073891
v1
Rapport
Frédéric Chyzak
,
Bruno Salvy
.
Non-commutative Elimination in Ore Algebras Proves Multivariate Identities
[Research Report] RR-2799, INRIA. 1996
inria-00074355
v1
Rapport
John Shackell
,
Bruno Salvy
.
Asymptotic Forms and Algebraic Differential equations
[Research Report] RR-2319, INRIA. 1994
inria-00074422
v1
Rapport
Philippe Flajolet
,
G. Labelle
,
L. Laforest
,
Bruno Salvy
.
Hypergeometrics and the cost structure of quadtrees
[Research Report] RR-2249, INRIA. 1994
inria-00074296
v1
Rapport
Bruno Salvy
.
Algorithms seminar, 1993--1994
[Research Report] RR-2381, INRIA. 1994
inria-00073780
v1
Rapport
Philippe Flajolet
,
Bruno Salvy
.
Euler Sums and Contour Integral Representations
[Research Report] RR-2917, INRIA. 1996
inria-00073807
v1
Rapport
Bruno Salvy
,
John Shackell
.
Symbolic Asymptotics : Functions of Two Variables, Implicit Functions
[Research Report] RR-2883, INRIA. 1996
inria-00074542
v1
Rapport
Bruno Salvy
.
Algorithms seminars 1992-1993
[Research Report] RR-2130, INRIA. 1993
inria-00075592
v1
Rapport
Bruno Salvy
.
Fonctions generatrices et asymptotique automatique
RR-0967, INRIA. 1989
1
2
3
4
Tri
Pertinence
Auteur A→Z
Auteur Z→A
Titre A→Z
Titre Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 91 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.