Search - Archive ouverte HAL Access content directly

Filter your results

103 Results
Image document

Examples of automatic asymptotic expansions

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

Lambda-Upsilon-Omega the 1989 cookbook

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

Fonctions generatrices et asymptotique automatique

Bruno Salvy
RR-0967, INRIA. 1989
Reports inria-00075592v1
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⟩
Conference papers hal-01336772v1

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⟩
Conference papers hal-01092420v1
Image document

Asymptotic Forms and Algebraic Differential equations

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

Algorithms seminar, 1993--1994

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

Lambda-Upsilon-Omega : an assistant algorithms analyzer

Philippe Flajolet , Paul Zimmermann , Bruno Salvy
[Research Report] RR-0876, INRIA. 1988
Reports 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
Conference papers inria-00376526v1
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⟩
Journal articles inria-00000960v2
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
Reports inria-00071534v1
Image document

Euler Sums and Contour Integral Representations

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

Fast Computation with Two Algebraic Numbers

Alin Bostan , Philippe Flajolet , Bruno Salvy , Éric Schost
[Research Report] RR-4579, INRIA. 2002
Reports inria-00072009v1
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⟩
Journal articles hal-00697386v2

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⟩
Journal articles hal-01655531v1
Image document

Generating functions of Chebyshev-like polynomials

Alin Bostan , Bruno Salvy , Khang Tran
2009
Preprints, Working Papers, ... inria-00400839v3

Calcul formel : mode d'emploi. Exemples en Maple

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

Chebyshev Expansions for Solutions of Linear Differential Equations

Alexandre Benoit , Bruno Salvy
ISSAC'09, Jul 2009, Seoul, South Korea
Conference papers inria-00395716v1

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⟩
Conference papers hal-01317940v1
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⟩
Journal articles hal-01220573v2
Image document

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

Alin Bostan , Tanguy Rivoal , Bruno Salvy
2023
Preprints, Working Papers, ... hal-03771150v2
Image document

Motif Statistics

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

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

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

Symbolic Asymptotics : Functions of Two Variables, Implicit Functions

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

Asymptotic Expansions of exp-log Functions

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

Asymptotic expansions of functional inverses

Bruno Salvy , John Shackell
[Research Report] RR-1673, INRIA. 1992
Reports 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
Journal articles hal-01069833v1
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
Reports hal-01131384v2
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⟩
Conference papers hal-00346845v2
Image document

Faster Modular Composition

Vincent Neiger , Bruno Salvy , Éric Schost , Gilles Villard
2021
Preprints, Working Papers, ... hal-03380258v1