Nombre de documents

93

CV de Bruno Salvy


Communication dans un congrès21 documents

  • 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>
  • 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. 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, 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>
  • 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>
  • 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), AO, pp.1-2, 2011, DMTCS Proceedings. <hal-01336772>
  • 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>
  • 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>
  • Alexandre Benoit, Bruno Salvy. Chebyshev Expansions for Solutions of Linear Differential Equations. ISSAC'09, Jul 2009, Seoul, South Korea. 2009. <inria-00395716>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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. no publisher, 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>

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>
  • Jonathan Borwein, Bruno Salvy. A Proof of a Recursion for Bessel Moments. [Research Report] 2008, pp.10. <inria-00152799v2>
  • Alin Bostan, Bruno Salvy, Éric Schost. Fast Conversion Algorithms for Orthogonal Polynomials. [Research Report] 2008, pp.12. <inria-00273508>
  • 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>
  • Philippe Flajolet, Bruno Salvy, Gilles Schaeffer. Airy Phenomena and Analytic Combinatorics of Connected Graphs. [Research Report] RR-4581, INRIA. 2002. <inria-00072004>
  • Alin Bostan, Philippe Flajolet, Bruno Salvy, Éric Schost. Fast Computation with Two Algebraic Numbers. [Research Report] RR-4579, INRIA. 2002. <inria-00072009>
  • 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. Algorithms seminar, 1998-1999. [Research Report] RR-3830, INRIA. 1999. <inria-00072828>
  • Bruno Salvy. Asymptotique automatique. [Rapport de recherche] RR-3707, INRIA. 1999. <inria-00072961>
  • 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>
  • Philippe Flajolet, Bruno Salvy. The SIGSAM Challenges: Symbolic Asymptotics in Practice. RT-0209, INRIA. 1997, pp.14. <inria-00069962>
  • 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. Euler Sums and Contour Integral Representations. [Research Report] RR-2917, INRIA. 1996. <inria-00073780>
  • 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>
  • Daniel Richardson, Bruno Salvy, John Shackell, Joris Van Der Hoeven. Asymptotic Expansions of exp-log Functions. [Research Report] RR-2859, INRIA. 1996. <inria-00073832>
  • Bruno Salvy. Algorithms Seminar, 1995-1996. [Research Report] RR-2992, INRIA. 1996. <inria-00073705>
  • Philippe Dumas, Bruno Salvy. Maple and the Putnam Competition. RT-0179, INRIA. 1995, pp.6. <inria-00069992>
  • 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>
  • Laurent Habsieger, Bruno Salvy. On Integer Chebyshev Polynomials. [Research Report] RR-2648, INRIA. 1995. <inria-00074042>
  • Philippe Flajolet, Bruno Salvy. Computer Algebra Libraries for Combinatorial Structures. [Research Report] RR-2497, INRIA. 1995. <inria-00074178>
  • Bruno Salvy. Algorithms seminar, 1994-1995. [Research Report] RR-2669, INRIA. 1995. <inria-00074021>
  • Philippe Flajolet, G. Labelle, L. Laforest, Bruno Salvy. Hypergeometrics and the cost structure of quadtrees. [Research Report] RR-2249, INRIA. 1994. <inria-00074422>
  • Bruno Salvy. Algorithms seminar, 1993--1994. [Research Report] RR-2381, INRIA. 1994. <inria-00074296>
  • John Shackell, Bruno Salvy. Asymptotic Forms and Algebraic Differential equations. [Research Report] RR-2319, INRIA. 1994. <inria-00074355>
  • Xavier Gourdon, Bruno Salvy. Computing one million digits of racine de 2. RT-0155, INRIA. 1993, pp.6. <inria-00070013>
  • Bruno Salvy. Algorithms seminars 1992-1993. [Research Report] RR-2130, INRIA. 1993. <inria-00074542>
  • Xavier Gourdon, Bruno Salvy. Asymptotics of linear recurrences with rational coefficients. [Research Report] RR-1887, INRIA. 1993. <inria-00074785>
  • M. Petkovsek, Bruno Salvy. Finding all hypergeometric solutions of linear differential equations. [Research Report] RR-1907, INRIA. 1993. <inria-00074766>
  • 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>
  • Bruno Salvy. Fast computation of some asymptotic functional inverses. [Research Report] RR-1743, INRIA. 1992. <inria-00076983>
  • 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. General asymptotic scales and computer algebra. [Research Report] RR-1715, INRIA. 1992. <inria-00076953>
  • Bruno Salvy. Efficient programming in maple : a case study. [Research Report] RR-1611, INRIA. 1992. <inria-00074949>
  • F. Bergeron, Philippe Flajolet, Bruno Salvy. Varieties of increasing trees. [Research Report] RR-1583, INRIA. 1992. <inria-00074977>
  • Bruno Salvy, John Shackell. Asymptotic expansions of functional inverses. [Research Report] RR-1673, INRIA. 1992. <inria-00074883>
  • Philippe Flajolet, Paul Zimmermann, Bruno Salvy. Automatic average-case analysis of algorithms. [Research Report] RR-1233, INRIA. 1990. <inria-00077102>
  • Bruno Salvy. Examples of automatic asymptotic expansions. RT-0114, INRIA. 1989, pp.16. <inria-00070052>
  • Bruno Salvy. Fonctions generatrices et asymptotique automatique. RR-0967, INRIA. 1989. <inria-00075592>
  • Philippe Flajolet, Paul Zimmermann, Bruno Salvy. Lambda-Upsilon-Omega the 1989 cookbook. [Research Report] RR-1073, INRIA. 1989. <inria-00075486>
  • Philippe Flajolet, Paul Zimmermann, Bruno Salvy. Lambda-Upsilon-Omega : an assistant algorithms analyzer. [Research Report] RR-0876, INRIA. 1988. <inria-00075678>

Article dans une revue18 documents

  • 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, Pierre Lairez, Bruno Salvy. Multiple binomial sums. Journal of Symbolic Computation, Elsevier, 2016, <10.1016/j.jsc.2016.04.002>. <hal-01220573v2>
  • 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>
  • Bruno Salvy, Joanna Jongwane. À propos du calcul formel. Interstices, INRIA, 2010, <https://interstices.info/jcms/c_44752/a-propos-du-calcul-formel>. <hal-01350217>
  • 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>