Nombre de documents

92

CV de Bruno Salvy


Rapport48 documents

  • Romain Serra, Denis Arzelier, Mioara Joldes, Jean-Bernard Lasserre, Aude Rondepierre, et al.. A Power Series Expansion based Method to compute the Probability of Collision for Short-term Space Encounters. [Research Report] LAAS-CNRS. 2015. <hal-01131384v2>
  • Alin Bostan, Bruno Salvy, Éric Schost. Fast Conversion Algorithms for Orthogonal Polynomials. [Research Report] 2008, pp.12. <inria-00273508>
  • Jonathan Borwein, Bruno Salvy. A Proof of a Recursion for Bessel Moments. [Research Report] 2008, pp.10. <inria-00152799v2>
  • Alin Bostan, Bruno Salvy, Francois Morain, Eric Schost. Fast algorithms for computing isogenies between elliptic curves. [Research Report] 2006, pp.28. <inria-00091441>
  • Magali Bardet, Jean-Charles Faugère, Bruno Salvy. Complexity of Gröbner basis computation for Semi-regular Overdetermined sequences over F_2 with solutions in F_2. [Research Report] RR-5049, INRIA. 2003. <inria-00071534>
  • Philippe Flajolet, Bruno Salvy, Gilles Schaeffer. Airy Phenomena and Analytic Combinatorics of Connected Graphs. [Intern report] A02-R-216 || flajolet02a, 2002, 25 p. <inria-00101063>
  • Alin Bostan, Philippe Flajolet, Bruno Salvy, Éric Schost. Fast Computation with Two Algebraic Numbers. [Research Report] RR-4579, INRIA. 2002. <inria-00072009>
  • Philippe Flajolet, Bruno Salvy, Gilles Schaeffer. Airy Phenomena and Analytic Combinatorics of Connected Graphs. [Research Report] RR-4581, INRIA. 2002. <inria-00072004>
  • Bruno Salvy. Even-Odd Set Partitions, Saddle-Point Method and Wyman Admissibility. [Research Report] RR-4201, INRIA. 2001. <inria-00072421>
  • Alin Bostan, Bruno Salvy, Éric Schost. Fast Algorithms for Zero-Dimensional Polynomial Systems Using Duality. [Research Report] RR-4291, INRIA. 2001. <inria-00072296>
  • Robert Cori, Dominique Rossin, Bruno Salvy. Polynomial Ideals for Sandpiles and their Gröbner Bases. [Research Report] RR-3946, INRIA. 2000. <inria-00072704>
  • Bruno Salvy. Asymptotique automatique. [Rapport de recherche] RR-3707, INRIA. 1999. <inria-00072961>
  • Bruno Salvy. Algorithms seminar, 1998-1999. [Research Report] RR-3830, INRIA. 1999. <inria-00072828>
  • Pierre Nicodème, Bruno Salvy, Philippe Flajolet. Motif Statistics. [Research Report] RR-3606, INRIA. 1999. <inria-00073074>
  • Bruno Salvy. Algorithms seminar, 1997-1998. [Research Report] RR-3504, INRIA. 1998. <inria-00073181>
  • Bruno Salvy, John Shackell. Symbolic Asymptotics: Multiseries of Inverse Functions. [Research Report] RR-3264, INRIA. 1997. <inria-00073425>
  • 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-00073465>
  • Bruno Salvy. Algorithms Seminar, 1996-1997. [Research Report] RR-3267, INRIA. 1997. <inria-00073422>
  • Philippe Flajolet, Bruno Salvy. The SIGSAM Challenges: Symbolic Asymptotics in Practice. RT-0209, INRIA. 1997, pp.14. <inria-00069962>
  • Bruno Salvy. Algorithms Seminar, 1995-1996. [Research Report] RR-2992, INRIA. 1996. <inria-00073705>
  • Bruno Salvy, John Shackell. Symbolic Asymptotics : Functions of Two Variables, Implicit Functions. [Research Report] RR-2883, INRIA. 1996. <inria-00073807>
  • Frédéric Chyzak, Bruno Salvy. Non-commutative Elimination in Ore Algebras Proves Multivariate Identities. [Research Report] RR-2799, INRIA. 1996. <inria-00073891>
  • Philippe Flajolet, Bruno Salvy. Euler Sums and Contour Integral Representations. [Research Report] RR-2917, INRIA. 1996. <inria-00073780>
  • Daniel Richardson, Bruno Salvy, John Shackell, Joris Van Der Hoeven. Asymptotic Expansions of exp-log Functions. [Research Report] RR-2859, INRIA. 1996. <inria-00073832>
  • Philippe Dumas, Bruno Salvy. Maple and the Putnam Competition. RT-0179, INRIA. 1995, pp.6. <inria-00069992>
  • Bruno Salvy. Algorithms seminar, 1994-1995. [Research Report] RR-2669, INRIA. 1995. <inria-00074021>
  • Laurent Habsieger, Bruno Salvy. On Integer Chebyshev Polynomials. [Research Report] RR-2648, INRIA. 1995. <inria-00074042>
  • Bruno Salvy, Sergey Yu. Slavyanov. A Combinatorial Problem in the Classification of Second-Order Linear ODE's. [Research Report] RR-2600, INRIA. 1995. <inria-00074085>
  • Philippe Flajolet, Bruno Salvy. Computer Algebra Libraries for Combinatorial Structures. [Research Report] RR-2497, INRIA. 1995. <inria-00074178>
  • Bruno Salvy. Algorithms seminar, 1993--1994. [Research Report] RR-2381, INRIA. 1994. <inria-00074296>
  • Philippe Flajolet, G. Labelle, L. Laforest, Bruno Salvy. Hypergeometrics and the cost structure of quadtrees. [Research Report] RR-2249, INRIA. 1994. <inria-00074422>
  • John Shackell, Bruno Salvy. Asymptotic Forms and Algebraic Differential equations. [Research Report] RR-2319, INRIA. 1994. <inria-00074355>
  • Philippe Flajolet, Xavier Gourdon, Bruno Salvy. Sur une famille de polynomes issus de l'analyse numerique. [Rapport de recherche] RR-1857, INRIA. 1993. <inria-00074815>
  • M. Petkovsek, Bruno Salvy. Finding all hypergeometric solutions of linear differential equations. [Research Report] RR-1907, INRIA. 1993. <inria-00074766>
  • Xavier Gourdon, Bruno Salvy. Asymptotics of linear recurrences with rational coefficients. [Research Report] RR-1887, INRIA. 1993. <inria-00074785>
  • Bruno Salvy. Algorithms seminars 1992-1993. [Research Report] RR-2130, INRIA. 1993. <inria-00074542>
  • Xavier Gourdon, Bruno Salvy. Computing one million digits of racine de 2. RT-0155, INRIA. 1993, pp.6. <inria-00070013>
  • Bruno Salvy, John Shackell. Asymptotic expansions of functional inverses. [Research Report] RR-1673, INRIA. 1992. <inria-00074883>
  • F. Bergeron, Philippe Flajolet, Bruno Salvy. Varieties of increasing trees. [Research Report] RR-1583, INRIA. 1992. <inria-00074977>
  • Bruno Salvy. Efficient programming in maple : a case study. [Research Report] RR-1611, INRIA. 1992. <inria-00074949>
  • Bruno Salvy, Paul Zimmermann. GFUN : a maple package for the manipulation of generating and holonomic functions in one variable. [Research Report] RT-0143, INRIA. 1992, pp.14. <inria-00070025>
  • Bruno Salvy. Fast computation of some asymptotic functional inverses. [Research Report] RR-1743, INRIA. 1992. <inria-00076983>
  • Bruno Salvy. General asymptotic scales and computer algebra. [Research Report] RR-1715, INRIA. 1992. <inria-00076953>
  • Philippe Flajolet, Paul Zimmermann, Bruno Salvy. Automatic average-case analysis of algorithms. [Research Report] RR-1233, INRIA. 1990. <inria-00077102>
  • Philippe Flajolet, Paul Zimmermann, Bruno Salvy. Lambda-Upsilon-Omega the 1989 cookbook. [Research Report] RR-1073, INRIA. 1989. <inria-00075486>
  • Bruno Salvy. Fonctions generatrices et asymptotique automatique. RR-0967, INRIA. 1989. <inria-00075592>
  • Bruno Salvy. Examples of automatic asymptotic expansions. RT-0114, INRIA. 1989, pp.16. <inria-00070052>
  • Philippe Flajolet, Paul Zimmermann, Bruno Salvy. Lambda-Upsilon-Omega : an assistant algorithms analyzer. [Research Report] RR-0876, INRIA. 1988. <inria-00075678>

Communication dans un congrès21 documents

  • Stephen Melczer, Bruno Salvy. Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables. ISSAC 2016, 2016, Waterloo, Canada. ACM, pp.8, 2016, <http://www.issac-symposium.org/2016/>. <10.1145/2930889.2930913>. <hal-01310691>
  • Alin Bostan, Louis Dumont, Bruno Salvy. Efficient Algorithms for Mixed Creative Telescoping. ISSAC 2016, Jul 2016, Waterloo, Canada. pp.8, 2016, Proceedings ISSAC'16, pp. 127–134, ACM Press, 2016. <http://dl.acm.org/citation.cfm?id=2930907>. <10.1145/2930889.2930907>. <hal-01317940>
  • Alin Bostan, Louis Dumont, Bruno Salvy. Algebraic Diagonals and Walks. ISSAC'15 International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. ACM Press, pp.77-84, 2015, <http://issac-symposium.org/2015>. <10.1145/2755996.2756663>. <hal-01240729>
  • 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>. <hal-01227259>
  • Romain Serra, Denis Arzelier, Mioara Joldes, Jean-Bernard Lasserre, Aude Rondepierre, et al.. A New Method to Compute the Probability of Collision for Short-term Space Encounters. AIAA/AAS Astrodynamics Specialist Conference, Aug 2014, San Diego, United States. <10.2514/6.2014-4366>. <hal-01092420>
  • Alin Bostan, Pierre Lairez, Bruno Salvy. Creative telescoping for rational functions using the Griffiths-Dwork method. ISSAC'13 - 38th International Symposium on Symbolic and Algebraic Computation, Jul 2013, Boston, United States. pp.93-100, 2013, <10.1145/2465506.2465935>. <hal-00777675v2>
  • Alin Bostan, Muhammad F. I. Chowdhury, Romain Lebreton, Bruno Salvy, Éric Schost. Power Series Solutions of Singular (q)-Differential Equations. van Hoeij, Mark and van der Hoeven, Joris. ISSAC '12: 37th International Symposium on Symbolic and Algebraic Computation, Jul 2012, Grenoble, France. pp.107-114, 2012. <hal-00697733>
  • Alin Bostan, Frédéric Chyzak, Ziming Li, Bruno Salvy. Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators. van Hoeij, Mark and van der Hoeven, Joris. ISSAC 2012 - 37th International Symposium on Symbolic and Algebraic Computation, Jul 2012, Grenoble, France. pp.99-106, 2012. <hal-00698610>
  • Frédéric Chyzak, James Davenport, Christoph Koutschan, Bruno Salvy. On Kahan's Rules for Determining Branch Cuts. SYNASC 2011. 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing., Sep 2011, Timisoara, Romania. IEEE Computer Society's Conference Publishing Services, pp.47-51, 2011. <inria-00623044v2>
  • Bruno Salvy, Bob Sedgewick, Michèle Soria, Wojtek Szpankowski, Brigitte Vallée. Philippe Flajolet, the Father of Analytic Combinatorics. Bousquet-Mélou, Mireille and Wachs, Michelle and Hultman, Axel. 23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011), 2011, Reykjavik, Iceland. Discrete Mathematics and Theoretical Computer Science, Discrete Mathematics and Theoretical Computer Science (DMTCS), DMTCS Proceedings vol. AO, 23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011), pp.1-2, 2011, DMTCS Proceedings. <hal-01336772>
  • Alexandre Benoit, Frédéric Chyzak, Alexis Darrasse, Stefan Gerhold, Marc Mezzarobba, et al.. The Dynamic Dictionary of Mathematical Functions (DDMF). Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Takayama, Nobuki. ICMS 2010 - Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. Springer, 6327, pp.35-41, 2010, Lecture Notes in Computer Science; The Third International Congress on Mathematical Software (ICMS 2010). <hal-00783048>
  • 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-00376526>
  • Alexandre Benoit, Bruno Salvy. Chebyshev Expansions for Solutions of Linear Differential Equations. ISSAC'09, Jul 2009, Seoul, South Korea. 2009. <inria-00395716>
  • Carine Pivoteau, Bruno Salvy, Michèle Soria. Boltzmann Oracle for Combinatorial Systems. Fifth Colloquium on Mathematics and Computer Science, Sep 2008, Blaubeuren, Germany. Discrete Mathematics & Theoretical Computer Science, AI, pp.475-488, 2008, DMTCS Proceedings. <hal-00346845v2>
  • Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy. Compressed Modular Matrix Multiplication. Mark Giesbrecht and Stephen Watt. MICA'2008 - Milestones in Computer Algebra, May 2008, Tobago, Trinidad and Tobago. pp.133-140, 2008. <hal-00259950v2>
  • Alin Bostan, Bruno Salvy, Éric Schost. Power Series Composition and Change of Basis. ISSAC'08 : International Symposium on Symbolic and Algebraic Computation, Jul 2008, Hagenberg, Austria. ACM, 2008. <inria-00273385>
  • Alin Bostan, Frédéric Chyzak, François Ollivier, Bruno Salvy, Éric Schost, et al.. Fast computation of power series solutions of systems of differential equations. 2007 ACM-SIAM Symposium on Discrete Algorithms, Jan 2007, New Orleans, Louisiana, United States. pp.1012-1021, 2007. <inria-00001264>
  • Alin Bostan, Frédéric Chyzak, Bruno Salvy, Grégoire Lecerf, Éric Schost. Differential Equations for Algebraic Functions. C. W. Brown. ISSAC, Jul 2007, Waterloo, Canada. ACM Press, pp.8, 2007, International Conference on Symbolic and Algebraic Computation. <10.1145/1277548.1277553>. <inria-00138206v2>
  • Alin Bostan, Frédéric Chyzak, Thomas Cluzeau, Bruno Salvy. Low Complexity Algorithms for Linear Recurrences. ISSAC International Symposium on Symbolic and Algebraic Computations, Jul 2006, Genova, Italy, Italy. ACM, pp.31-38, 2006, Proceedings of the International Symposium on Symbolic and Algebraic Computations. <10.1145/1145768.1145781>. <inria-00068922>
  • Thomas Cluzeau, Alin Bostan, Bruno Salvy. Fast algorithms for polynomial solutions of linear differential equations. Proceedings of International Symposium on Symbolic and Algebraic Computations, 2005, France. ISSAC 2005, pp.45-52, 2005. <hal-00078763>
  • Alin Bostan, Grégoire Lecerf, Bruno Salvy, Éric Schost, Bernd Wiebelt. Complexity issues in bivariate polynomial factorization. Complexity issues in bivariate polynomial factorization, 2004, Spain. pp.42-49, 2004. <hal-00186759>

Ouvrage (y compris édition critique et traduction)3 documents

  • Alin Bostan, Frédéric Chyzak, Marc Giusti, Romain Lebreton, Grégoire Lecerf, et al.. Algorithmes Efficaces en Calcul Formel. 2017, <https://hal.archives-ouvertes.fr/AECF/ >. <hal-01431717>
  • Philippe Dumas, Claude Gomez, Bruno Salvy, Paul Zimmermann. Calcul formel : mode d'emploi. Exemples en Maple. Sans, pp.326, 2009. <inria-00371192>
  • Claude Gomez, Bruno Salvy, Paul Zimmermann. Calcul formel : mode d'emploi. Exemples en Maple. Masson, 13, pp.328, 1995, Logique mathématiques informatique, 2-225-84780-0. <hal-00917735>

Article dans une revue17 documents

  • Alin Bostan, Pierre Lairez, Bruno Salvy. Multiple binomial sums. Journal of Symbolic Computation, Elsevier, 2017, 80 (2), pp.351--386. <10.1016/j.jsc.2016.04.002>. <hal-01220573v2>
  • Romain Serra, Denis Arzelier, Mioara Joldes, Jean-Bernard Lasserre, Aude Rondepierre, et al.. Fast and Accurate Computation of Orbital Collision Probability for Short-Term Encounters. Journal of Guidance, Control, and Dynamics, American Institute of Aeronautics and Astronautics, 2016, 39 (5), pp.1009-1021. <10.2514/1.G001353>. <hal-01132149>
  • Alin Bostan, Louis Dumont, Bruno Salvy. Algebraic Diagonals and Walks: Algorithms, Bounds, Complexity. Journal of Symbolic Computation, Elsevier, 2016, <10.1016/j.jsc.2016.11.006 >. <hal-01244914>
  • Alin Bostan, Kilian Raschel, Bruno Salvy. Non-D-finite excursions in the quarter plane. Journal of Combinatorial Theory, Series A, Elsevier, 2014, 121, pp.45-63. <10.1016/j.jcta.2013.09.005>. <hal-00697386v2>
  • Magali Bardet, Jean-Charles Faugère, Bruno Salvy, Pierre-Jean Spaenlehauer. On the Complexity of Solving Quadratic Boolean Systems. Journal of Complexity, Elsevier, 2013, 29 (1), pp.53-75. <10.1016/j.jco.2012.07.001>. <hal-00655745>
  • Carine Pivoteau, Bruno Salvy, Michele Soria. Algorithms for combinatorial structures: Well-founded systems and Newton iterations.. Journal of Combinatorial Theory, Series A, Elsevier, 2012, 119 (8), pp.1711-1773. <10.1016/j.jcta.2012.05.007>. <inria-00622853>
  • Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy. Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields. Journal of Symbolic Computation, Elsevier, 2011, 46 (7), pp.823-840. <10.1016/j.jsc.2010.08.015>. <hal-00315772>
  • Brigitte Chauvin, Bruno Salvy, Michèle Soria, Brigitte Vallée. Philippe Flajolet, le fondateur de la combinatoire analytique. Gazette des Mathématiciens, Société Mathématique de France, 2011, 129, pp.113-114. <hal-00680928>
  • Marc Mezzarobba, Bruno Salvy. Effective Bounds for P-Recursive Sequences. Journal of Symbolic Computation, Elsevier, 2010, 45 (10), pp.1075-1096. <10.1016/j.jsc.2010.06.024>. <inria-00376219>
  • Peter Clote, Evangelos Kranakis, Danny Krizanc, Bruno Salvy. Asymptotics of Canonical and Saturated RNA Secondary Structures. Journal of Bioinformatics and Computational Biology, World Scientific Publishing, 2009, 22 p. <inria-00411277>
  • Marc Giusti, Grégoire Lecerf, Bruno Salvy, Jean-Claude Yakoubsohn. On location and approximation of clusters of zeros: Case of embedding dimension one. Foundations of Computational Mathematics, Springer Verlag, 2007, 7 (1), pp.1-49. <hal-00186739>
  • Alin Bostan, Philippe Flajolet, Bruno Salvy, Éric Schost. Fast Computation of Special Resultants. Journal of Symbolic Computation, Elsevier, 2006, Journal of Symbolic Computation, 41 (1), pp.1-29. <10.1016/j.jsc.2005.07.001>. <inria-00000960v2>
  • Marc Giusti, Grégoire Lecerf, Bruno Salvy, Jean-Claude Yakoubsohn. On location and approximation of clusters of zeros of analytic functions. Foundations of Computational Mathematics, Springer Verlag, 2005, 5 (3), pp.257-311. <hal-00186736>
  • Dominique Rossin, Robert Cori, Bruno Salvy. Polynomial Ideals for Sandpiles and their Grobner Bases. Theoretical Computer Science, Elsevier, 2002, 276, 1-2, pp.1--15. <hal-00016378>
  • Marc Giusti, Grégoire Lecerf, Bruno Salvy. A Gröbner free alternative for polynomial system solving. Journal of Complexity, Elsevier, 2001, 17 (1), pp.154-211. <hal-00186725>
  • 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. Journal of Symbolic Computation, Elsevier, 2000, 30 (3), pp.291-307. <hal-00186723>
  • Frédéric Chyzak, Bruno Salvy. Non-commutative Elimination in Ore Algebras Proves Multivariate Identities. Journal of Symbolic Computation, Elsevier, 1998, 26 (2), pp.187-227. <hal-01069833>

Document associé à des manifestations scientifiques1 document

  • Alin Bostan, Bruno Salvy. Calcul formel pour la combinatoire. Journées ALEA 2012, Mar 2012, Luminy, France. <hal-00780435>

Pré-publication, Document de travail2 documents

  • Philippe Flajolet, Stefan Gerhold, Bruno Salvy. Lindelöf Representations and (Non-)Holonomic Sequences. 24 pages. 2009. <inria-00394936>
  • Alin Bostan, Bruno Salvy, Khang Tran. Generating functions of Chebyshev-like polynomials. 2009. <inria-00400839v3>