Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

105 résultats
Page :
triés par
Image document

Boltzmann Oracle for Combinatorial Systems

 Carine Pivoteau , Bruno Salvy , Michèle Soria
Fifth Colloquium on Mathematics and Computer Science, Sep 2008, Blaubeuren, Germany. pp.475-488, ⟨10.46298/dmtcs.3585⟩
Communication dans un congrès hal-00346845v2
Image document

A Power Series Expansion based Method to compute the Probability of Collision for Short-term Space Encounters

 Romain Serra , Denis Arzelier , Mioara Joldes , Jean-Bernard Lasserre , Aude Rondepierre , et al.
[Research Report] LAAS-CNRS. 2015
Rapport hal-01131384v2
Image document

Motif Statistics

 Pierre Nicodème , Bruno Salvy , Philippe Flajolet
[Research Report] RR-3606, INRIA. 1999
Rapport inria-00073074v1
Image document

Even-Odd Set Partitions, Saddle-Point Method and Wyman Admissibility

 Bruno Salvy
[Research Report] RR-4201, INRIA. 2001
Rapport inria-00072421v1
Image document

Symbolic Asymptotics : Functions of Two Variables, Implicit Functions

 Bruno Salvy , John Shackell
[Research Report] RR-2883, INRIA. 1996
Rapport inria-00073807v1
Image document

Asymptotic expansions of functional inverses

 Bruno Salvy , John Shackell
[Research Report] RR-1673, INRIA. 1992
Rapport inria-00074883v1
Image document

Non-commutative Elimination in Ore Algebras Proves Multivariate Identities

 Frédéric Chyzak , Bruno Salvy
Journal of Symbolic Computation, 1998, 26 (2), pp.187-227
Article dans une revue hal-01069833v1
Image document

Asymptotic Expansions of exp-log Functions

 Daniel Richardson , Bruno Salvy , John Shackell , Joris van der Hoeven
[Research Report] RR-2859, INRIA. 1996
Rapport inria-00073832v1
Image document

Minimization of differential equations and algebraic values of $E$-functions

 Alin Bostan , Tanguy Rivoal , Bruno Salvy
Mathematics of Computation, 2024, 93, pp.1427-1472. ⟨10.1090/mcom/3912⟩
Article dans une revue hal-03771150v2
Image document

Examples of automatic asymptotic expansions

 Bruno Salvy
RT-0114, INRIA. 1989, pp.16
Rapport inria-00070052v1
Image document

Fonctions generatrices et asymptotique automatique

 Bruno Salvy
RR-0967, INRIA. 1989
Rapport inria-00075592v1

A New Method to Compute the Probability of Collision for Short-term Space Encounters

 Romain Serra , Denis Arzelier , Mioara Joldes , Jean-Bernard Lasserre , Aude Rondepierre , et al.
AIAA/AAS Astrodynamics Specialist Conference, Aug 2014, San Diego, United States. 6p., ⟨10.2514/6.2014-4366⟩
Communication dans un congrès hal-01092420v1
Image document

Philippe Flajolet, the Father of Analytic Combinatorics

 Bruno Salvy , Bob Sedgewick , Michèle Soria , Wojtek Szpankowski , Brigitte Vallée
23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011), 2011, Reykjavik, Iceland. pp.1-2, ⟨10.46298/dmtcs.2966⟩
Communication dans un congrès hal-01336772v1
Image document

Asymptotic Forms and Algebraic Differential equations

 John Shackell , Bruno Salvy
[Research Report] RR-2319, INRIA. 1994
Rapport inria-00074355v1
Image document

Algorithms seminar, 1993--1994

 Bruno Salvy
[Research Report] RR-2381, INRIA. 1994
Rapport inria-00074296v1
Image document

Lambda-Upsilon-Omega : an assistant algorithms analyzer

 Philippe Flajolet , Paul Zimmermann , Bruno Salvy
[Research Report] RR-0876, INRIA. 1988
Rapport inria-00075678v1
Image document

A Non-Holonomic Systems Approach to Special Function Identities

 Frédéric Chyzak , Manuel Kauers , Bruno Salvy
ISSAC'09 - 34th International Symposium on Symbolic and Algebraic Computation, Jul 2009, Seoul, South Korea. pp.111-118
Communication dans un congrès inria-00376526v1
Image document

Lambda-Upsilon-Omega the 1989 cookbook

 Philippe Flajolet , Paul Zimmermann , Bruno Salvy
[Research Report] RR-1073, INRIA. 1989
Rapport inria-00075486v1

Positivity certificates for linear recurrences

 Alaa Ibrahim , Bruno Salvy
SODA 2024 - ACM-SIAM Symposium on Discrete Algorithms, Jan 2024, Alexandria, Virginia, United States. pp.982-994, ⟨10.1137/1.9781611977912.37⟩
Communication dans un congrès hal-04271203v1
Image document

Euler Sums and Contour Integral Representations

 Philippe Flajolet , Bruno Salvy
[Research Report] RR-2917, INRIA. 1996
Rapport inria-00073780v1
Image document

Fast Computation with Two Algebraic Numbers

 Alin Bostan , Philippe Flajolet , Bruno Salvy , Éric Schost
[Research Report] RR-4579, INRIA. 2002
Rapport inria-00072009v1

Efficient Algorithms for Mixed Creative Telescoping

 Alin Bostan , Louis Dumont , Bruno Salvy
ISSAC 2016, Jul 2016, Waterloo, Canada. pp.127-134, ⟨10.1145/2930889.2930907⟩
Communication dans un congrès hal-01317940v1
Image document

Generating functions of Chebyshev-like polynomials

 Alin Bostan , Bruno Salvy , Khang Tran
2009
Pré-publication, Document de travail inria-00400839v3
Image document

Multiple binomial sums

 Alin Bostan , Pierre Lairez , Bruno Salvy
Journal of Symbolic Computation, 2017, 80 (2), pp.351--386. ⟨10.1016/j.jsc.2016.04.002⟩
Article dans une revue hal-01220573v2
Image document

Non-D-finite excursions in the quarter plane

 Alin Bostan , Kilian Raschel , Bruno Salvy
Journal of Combinatorial Theory, Series A, 2014, 121, pp.45-63. ⟨10.1016/j.jcta.2013.09.005⟩
Article dans une revue hal-00697386v2
Image document

Chebyshev Expansions for Solutions of Linear Differential Equations

 Alexandre Benoit , Bruno Salvy
ISSAC'09, Jul 2009, Seoul, South Korea
Communication dans un congrès inria-00395716v1

Absolute Real Root Separation

 Yann Bugeaud , Andrej Dujella , Tomislav Pejković , Bruno Salvy
The American Mathematical Monthly, 2017, 124 (10), pp.930-936. ⟨10.4169/amer.math.monthly.124.10.930⟩
Article dans une revue hal-01655531v1

Calcul formel : mode d'emploi. Exemples en Maple

 Philippe Dumas , Claude Gomez , Bruno Salvy , Paul Zimmermann
Sans, pp.326, 2009
Ouvrages inria-00371192v1
Image document

Complexity of Gröbner basis computation for Semi-regular Overdetermined sequences over F_2 with solutions in F_2

 Magali Bardet , Jean-Charles Faugère , Bruno Salvy
[Research Report] RR-5049, INRIA. 2003
Rapport inria-00071534v1
Image document

Fast Computation of Special Resultants

 Alin Bostan , Philippe Flajolet , Bruno Salvy , Éric Schost
Journal of Symbolic Computation, 2006, Journal of Symbolic Computation, 41 (1), pp.1-29. ⟨10.1016/j.jsc.2005.07.001⟩
Article dans une revue inria-00000960v2
Page :