Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Salvy, Bruno"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Non-D-finite excursions in the quarter plane
Alin Bostan
,
Kilian Raschel
,
Bruno Salvy
Journal of Combinatorial Theory Series A
121
, 2014, pp. 45-63
On the complexity of solving quadratic Boolean systems
Magali Bardet
,
Jean-Charles Faugère
,
Bruno Salvy
,
Pierre-Jean Spaenlehauer
Journal of Complexity
29
(1), 2013, pp. 53-75
Creative telescoping for rational functions using the griffiths: Dwork method
Alin Bostan
,
Pierre Lairez
,
Bruno Salvy
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, ISSAC'2013 (Boston, Massachusetts, USA, June 26-29, 2013)
, 2013, pp. 93-100
Fast computation of common left multiples of linear ordinary differential operators
Alin Bostan
,
Frédéric Chyzak
,
Bruno Salvy
,
Ziming Li
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012)
, 2012, pp. 99-106
Power series solutions of singular (q)-differential equations
Alin Bostan
,
Bruno Salvy
,
Muhammad F.I. Chowdhury
,
Éric Schost
,
Romain Lebreton
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012)
, 2012, pp. 107-114
Algorithms for combinatorial structures: Well-founded systems and Newton iterations
Carine Pivoteau
,
Bruno Salvy
,
Michèle Soria
Journal of Combinatorial Theory Series A
119
(8), 2012, pp. 1711-1773
Simultaneous modular reduction and Kronecker substitution for small finite fields
Jean-Guillaume Dumas
,
Laurent Fousse
,
Bruno Salvy
Journal Symbolic Computation
46
(7), 2011, pp. 823-840
Effective bounds for
P
-recursive sequences
Marc Mezzarobba
,
Bruno Salvy
Journal Symbolic Computation
45
(10), 2010, pp. 1075-1096
Chebyshev expansions for solutions of linear differential equations
Alexandre Benoit
,
Bruno Salvy
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 23-30
A non-holonomic systems approach to special function identities
Frédéric Chyzak
,
Manuel Kauers
,
Bruno Salvy
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 111-118
Power series composition and change of basis
Alin Bostan
,
Bruno Salvy
,
Éric Schost
Proceedings of the 2008 International Symposium on Symbolic and Algebraic Computation, ISSAC'2008 (Hagenberg, Austria, July 20-23, 2008)
, 2008, pp. 269-276
Differential equations for algebraic functions
Alin Bostan
,
Frédéric Chyzak
,
Bruno Salvy
,
Grégoire Lecerf
,
Éric Schost
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 25-32
Fast computation of special resultants
Alin Bostan
,
Philippe Flajolet
,
Bruno Salvy
,
Éric Schost
Journal Symbolic Computation
41
(1), 2006, pp. 1-29
Effective scalar products of
D
-finite symmetric functions
Frédéric Chyzak
,
Marni Mishna
,
Bruno Salvy
Journal of Combinatorial Theory Series A
112
(1), 2005, pp. 1-43
Fast algorithms for polynomial solutions of linear differential equations
Alin Bostan
,
Thomas Cluzeau
,
Bruno Salvy
Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005)
, 2004, pp. 45-52
D-finiteness: Algorithms and applications
Bruno Salvy
Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005)
, 2004, pp. 2-3
ESF: An automatically generated encyclopedia of special functions
Ludovic Meunier
,
Bruno Salvy
Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation, ISSAC'2003 (Philadelphia, PA, USA, August 03-06, 2003)
, 2003, pp. 199-206
Polynomial ideals for sandpiles and their Gröbner bases
Robert Cori
,
Dominique Rossin
,
Bruno Salvy
Theoretical Computer Science
276
(1-2), 2002, pp. 1-15
Motif statistics
Pierre Nicodème
,
Bruno Salvy
,
Philippe Flajolet
Theoretical Computer Science
287
(2), 2002, pp. 593-617
A Gröbner free alternative for polynomial system solving
Marc Giusti
,
Grégoire Lecerf
,
Bruno Salvy
Journal of Complexity
17
(1), 2001, pp. 154-211
The Projective Noether Maple Package: Computing the dimension of a projective variety
Marc Giusti
,
Klemens Hägele
,
Grégoire Lecerf
,
Joël Marchand
,
Bruno Salvy
Journal Symbolic Computation
30
(3), 2000, pp. 291-307
Motif statistics
Pierre Nicodème
,
Bruno Salvy
,
Philippe Flajolet
Lecture Notes in Computer Science
1643
, 1999, pp. 194-211
Symbolic asymptotics: Multiseries of inverse functions
Bruno Salvy
,
John Shackell
Journal Symbolic Computation
27
(6), 1999, pp. 543-563
Non-commutative elimination in Ore algebras proves multivariate identities
Frédéric Chyzak
,
Bruno Salvy
Journal Symbolic Computation
26
(2), 1998, pp. 187-227
Symbolic asymptotics: Functions of two variables, implicit functions
Bruno Salvy
,
John Shackell
Journal Symbolic Computation
25
(3), 1998, pp. 329-349
Seiten 1
2
>