Bruno Salvy

From MaRDI portal


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Explicit maximal totally real embeddings
Advances in Mathematics
2024-12-10Paper
Positivity certificates for linear recurrences
 
2024-11-28Paper
Reduction-based creative telescoping for definite summation of D-finite functions
Journal of Symbolic Computation
2024-05-24Paper
Positivity certificates for \(P\)-recursive sequences
ACM Communications in Computer Algebra
2024-05-13Paper
Minimization of differential equations and algebraic values of 𝐾-functions
Mathematics of Computation
2024-02-28Paper
Explicit maximal totally real embeddings
 
2023-10-10Paper
Differential-difference properties of hypergeometric series
Proceedings of the American Mathematical Society
2023-04-19Paper
Absolute root separation
Experimental Mathematics
2022-09-22Paper
Differential-Difference Properties of Hypergeometric Series
 
2022-07-01Paper
Explicit degree bounds for right factors of linear differential operators
Bulletin of the London Mathematical Society
2021-07-02Paper
Effective coefficient asymptotics of multivariate rational functions via semi-numerical algorithms for polynomial systems
Journal of Symbolic Computation
2020-11-13Paper
Computation of tight enclosures for Laplacian eigenvalues
SIAM Journal on Scientific Computing
2020-11-09Paper
Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation
2020-09-09Paper
Recursive combinatorial structures: enumeration, probabilistic analysis and random generation
 
2020-08-05Paper
Linear differential equations as a data structure
Foundations of Computational Mathematics
2019-10-17Paper
Absolute real root separation
The American Mathematical Monthly
2018-07-13Paper
Algebraic diagonals and walks: algorithms, bounds, complexity
Journal of Symbolic Computation
2017-06-01Paper
Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation
2017-05-10Paper
Efficient algorithms for mixed creative telscoping
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation
2017-05-10Paper
Creative telescoping for rational functions using the Griffiths-Dwork method
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation
2017-02-10Paper
Boltzmann oracle for combinatorial systems
 
2017-02-10Paper
scientific article; zbMATH DE number 6683558 (Why is no real title available?)
 
2017-02-10Paper
Low complexity algorithms for linear recurrences
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
2017-02-03Paper
Multiple binomial sums
Journal of Symbolic Computation
2016-11-29Paper
Formulas for continued fractions: an automated guess and prove approach
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation
2016-09-29Paper
Algebraic diagonals and walks
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation
2016-09-29Paper
Fast algorithms for polynomial solutions of linear differential equations
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
2015-07-16Paper
On the complexity of the \(F_5\) Gröbner basis algorithm
Journal of Symbolic Computation
2015-05-04Paper
Fast computation of common left multiples of linear ordinary differential operators
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
2015-03-27Paper
Power series solutions of singular \((q)\)-differential equations
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
2015-03-27Paper
Fast computation of common left multiples of linear ordinary differential operators
ACM Communications in Computer Algebra
2015-02-20Paper
Philippe Flajolet
ACM Communications in Computer Algebra
2015-02-20Paper
Fast computation of power series solutions of systems of differential equations
 
2014-12-18Paper
Philippe flajolet, the father of analytic combinatorics
ACM Transactions on Algorithms
2014-09-09Paper
Non-D-finite excursions in the quarter plane
Journal of Combinatorial Theory. Series A
2014-01-15Paper
scientific article; zbMATH DE number 6131558 (Why is no real title available?)
 
2013-01-28Paper
On the complexity of solving quadratic Boolean systems
Journal of Complexity
2013-01-14Paper
Algorithms for combinatorial structures: well-founded systems and Newton iterations
Journal of Combinatorial Theory. Series A
2012-08-24Paper
Philippe Flajolet, founder of analytic combinatorics
Gazette des Mathématiciens
2012-07-23Paper
Philippe Flajolet at ALGO
Gazette des Mathématiciens
2012-07-23Paper
A non-holonomic systems approach to special function identities
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
2012-05-13Paper
Chebyshev expansions for solutions of linear differential equations
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
2012-05-13Paper
Philippe Flajolet, the father of analytic combinatorics
Algorithmica
2012-04-26Paper
In memoriam: Philippe Flajolet, the father of analytic combinatorics
RAIRO - Theoretical Informatics and Applications
2012-02-28Paper
PHILIPPE FLAJOLET 1 December 1948 – 22 March 2011
Combinatorics, Probability and Computing
2011-12-08Paper
Philippe Flajolet, the father of analytic combinatorics
Theoretical Computer Science
2011-09-12Paper
In Memoriam: Philippe Flajolet The Father of Analytic Combinatorics
Random Structures \& Algorithms
2011-08-09Paper
Simultaneous modular reduction and Kronecker substitution for small finite fields
Journal of Symbolic Computation
2011-06-01Paper
Generating functions of Chebyshev-like polynomials
International Journal of Number Theory
2011-01-13Paper
Measured limits and multiseries
Journal of the London Mathematical Society
2011-01-10Paper
The dynamic dictionary of mathematical functions (DDMF)
Mathematical Software – ICMS 2010
2010-09-14Paper
Effective bounds for P-recursive sequences
Journal of Symbolic Computation
2010-09-10Paper
The Dynamic Dictionary of Mathematical Functions
Lecture Notes in Computer Science
2010-08-24Paper
Fast algorithms for computing isogenies between elliptic curves
Mathematics of Computation
2010-08-03Paper
Lindelöf representations and (non-)holonomic sequences
The Electronic Journal of Combinatorics
2010-03-26Paper
Fast conversion algorithms for orthogonal polynomials
Linear Algebra and its Applications
2009-12-18Paper
Differential equations for algebraic functions
 
2009-01-20Paper
Power series composition and change of basis
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
2009-01-20Paper
A Proof of a Recurrence for Bessel Moments
Experimental Mathematics
2008-12-18Paper
Fast computation of special resultants
Journal of Symbolic Computation
2007-10-23Paper
On location and approximation of clusters of zeros: Case of embedding dimension one
Foundations of Computational Mathematics
2007-03-12Paper
On location and approximation of clusters of zeros of analytic functions
Foundations of Computational Mathematics
2006-09-28Paper
On the non-holonomic character of logarithms, powers, and the \(n\)th prime function
The Electronic Journal of Combinatorics
2005-10-31Paper
Effective scalar products of D-finite symmetric functions
Journal of Combinatorial Theory. Series A
2005-10-17Paper
scientific article; zbMATH DE number 2151201 (Why is no real title available?)
 
2005-04-04Paper
Complexity issues in bivariate polynomial factorization
Proceedings of the 2004 international symposium on Symbolic and algebraic computation
2005-03-14Paper
Airy phenomena and analytic combinatorics of connected graphs
The Electronic Journal of Combinatorics
2004-10-13Paper
Fast algorithms for zero-dimensional polynomial systems using duality
Applicable Algebra in Engineering, Communication and Computing
2004-02-05Paper
A Gröbner free alternative for polynomial system solving
Journal of Complexity
2003-01-27Paper
Motif statistics.
Theoretical Computer Science
2003-01-21Paper
Polynomial ideals for sandpiles and their Gröbner bases
Theoretical Computer Science
2002-07-15Paper
Automatically generated encyclopedia of special functions. (Extended abstract)
 
2002-02-14Paper
Symbolic asymptotics: Multiseries of inverse functions
Journal of Symbolic Computation
2002-02-08Paper
The Projective Noether Maple Package: Computing the dimension of a projective variety
Journal of Symbolic Computation
2001-03-06Paper
scientific article; zbMATH DE number 1405792 (Why is no real title available?)
 
2000-09-20Paper
scientific article; zbMATH DE number 1263353 (Why is no real title available?)
 
2000-06-27Paper
Symbolic asymptotics: Functions of two variables, implicit functions
Journal of Symbolic Computation
2000-06-13Paper
scientific article; zbMATH DE number 1263315 (Why is no real title available?)
 
1999-09-12Paper
Euler Sums and Contour Integral Representations
Experimental Mathematics
1999-09-10Paper
scientific article; zbMATH DE number 1254307 (Why is no real title available?)
 
1999-06-07Paper
scientific article; zbMATH DE number 1263296 (Why is no real title available?)
 
1999-03-16Paper
Non-commutative elimination in Ore algebras proves multivariate identities
Journal of Symbolic Computation
1999-01-24Paper
GFUN
ACM Transactions on Mathematical Software
1998-01-25Paper
On integer Chebyshev polynomials
Mathematics of Computation
1997-04-08Paper
Effective asymptotics of linear recurrences with rational coefficients
Discrete Mathematics
1996-09-03Paper
Asymptotic forms and algebraic differential equations
Journal of Symbolic Computation
1996-08-13Paper
Computer algebra libraries for combinatorial structures
Journal of Symbolic Computation
1996-07-18Paper
Fast computation of some asymptotic functional inverses
Journal of Symbolic Computation
1996-07-01Paper
Hypergeometrics and the cost structure of quadtrees
Random Structures \& Algorithms
1995-09-20Paper
scientific article; zbMATH DE number 431974 (Why is no real title available?)
 
1993-11-11Paper
scientific article; zbMATH DE number 222723 (Why is no real title available?)
 
1993-06-29Paper
Automatic average-case analysis of algorithms
Theoretical Computer Science
1992-06-25Paper
scientific article; zbMATH DE number 4115969 (Why is no real title available?)
 
1989-01-01Paper
Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function
 
N/APaper


Research outcomes over time


This page was built for person: Bruno Salvy