GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable

Authors:
Bruno Salvy;Paul Zimmermann
Affiliations:
INRIA, Le Chesnay, France;INRIA, Le Chesnay, France
Venue:
ACM Transactions on Mathematical Software (TOMS)
Year:
1994

Citing 6
Cited 39

On expansion of algebraic functions in power and puiseux series, I

Journal of Complexity
On expansion of algebraic functions in power and Puiseux series, II

Journal of Complexity
Concrete mathematics: a foundation for computer science

Concrete mathematics: a foundation for computer science
A holonomic systems approach to special functions identities

Journal of Computational and Applied Mathematics
A proof of Julian West's conjecture that the number of two-stack-sortable permutations of length n is 2(3n)!/((n+1)!(2n+1)!)

Discrete Mathematics
On Algebraic Solutions of Linear Differential Equations with Primitive Unimodular Galois Group

AAECC-9 Proceedings of the 9th International Symposium, on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

Finding all hypergeometric solutions of linear differential equations

ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Fraction-free computation of matrix Padé systems

ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
A modular algorithm for computing greatest common right divisors of Ore polynomials

ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Symbolic manipulation of integrodifferential expressions and factorization of linear ordinary differential operators over transcendental extensions of a differential field

ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Basic analytic combinatorics of directed lattice paths

Theoretical Computer Science
On the robustness of interconnections in random graphs: a symbolic approach

Theoretical Computer Science
Motif statistics

Theoretical Computer Science
Laplace's method on a computer algebra system with an application to the real valued modified Bessel functions

Journal of Computational and Applied Mathematics
Asymptotic analysis of an optimized quicksort algorithm

Information Processing Letters
Relax, but don't be too lazy

Journal of Symbolic Computation
ESF: an automatically generated encyclopedia of special functions

ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Cited References

Computer algebra handbook
Factorization of fourth-order differential equations for perturbed classical orthogonal polynomials

Journal of Computational and Applied Mathematics
Solving mathematical problems using knowledge-based systems

Mathematics and Computers in Simulation - Special issue: Applications of computer algebra in science, engineering, simulation and special software
D-finiteness: algorithms and applications

Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Effective scalar products of D-finite symmetric functions

Journal of Combinatorial Theory Series A
Haruspicy 3: the anisotropic generating function of directed bond-animals is not D-finite

Journal of Combinatorial Theory Series A
An algorithm for deciding zero equivalence of nested polynomially recurrent sequences

ACM Transactions on Algorithms (TALG)
Computing Properties of Numerical Imperative Programs by Symbolic Computation

Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Computing the algebraic relations of C-finite sequences and multisequences

Journal of Symbolic Computation
Case Studies in Model Manipulation for Scientific Computing

Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Finding efficient recursions for risk aggregation by computer algebra

Journal of Computational and Applied Mathematics
On asymptotic extrapolation

Journal of Symbolic Computation
NumGfun: a package for numerical and analytic computation with D-finite functions

Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Effective bounds for P-recursive sequences

Journal of Symbolic Computation
Controlled non-uniform random generation of decomposable structures

Theoretical Computer Science
The dynamic dictionary of mathematical functions (DDMF)

ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Extended rate, more GFUN

Journal of Symbolic Computation
Counting colored planar maps: Algebraicity results

Journal of Combinatorial Theory Series B
The concrete tetrahedron

Proceedings of the 36th international symposium on Symbolic and algebraic computation
Sampling distribution of the variance

Winter Simulation Conference
Fast computation of common left multiples of linear ordinary differential operators

ACM Communications in Computer Algebra
Algebraic generating functions in enumerative combinatorics and context-free languages

STACS'05 Proceedings of the 22nd annual conference on Theoretical Aspects of Computer Science
Transforming problems from analysis to algebra: A case study in linear boundary problems

Journal of Symbolic Computation
Rigorous polynomial approximation using taylor models in Coq

NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Computing Properties of Numerical Imperative Programs by Symbolic Computation

Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Non-redundant random generation algorithms for weighted context-free grammars

Theoretical Computer Science
Guessing singular dependencies

Journal of Symbolic Computation
Bounded kolmogorov complexity based on cognitive models

AGI'13 Proceedings of the 6th international conference on Artificial General Intelligence

Quantified Score

Hi-index	0.01

Visualization

Abstract

We describe the GFUN package which contains functions for manipulating sequences, linear recurrences, or differential equations and generating functions of various types. This article is intended both as an elementary introduction to the subject and as a reference manual for the package.