The method of differentiating under the integral sign
Journal of Symbolic Computation
GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable
ACM Transactions on Mathematical Software (TOMS)
High degree solutions of low degree equations (extended abstract)
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
On the robustness of interconnections in random graphs: a symbolic approach
Theoretical Computer Science
Bialgebras of recursive sequences and combinatorial identities
Advances in Applied Mathematics
Journal of Symbolic Computation
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
ESF: an automatically generated encyclopedia of special functions
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Computer algebra handbook
A Sister Celine type algorithm for definite summation and integration
ACM SIGSAM Bulletin
Understanding expression simplification
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Computer proofs for polynomial identities in arbitrary many variables
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
D-finiteness: algorithms and applications
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
On computing the coefficients of bivariate holonomic formal series
Theoretical Computer Science - In memoriam: Alberto Del Lungo (1965-2003)
Rationality of the Möbius function of a composition poset
Theoretical Computer Science
An algorithm for deciding zero equivalence of nested polynomially recurrent sequences
ACM Transactions on Algorithms (TALG)
Analytic combinatorics: a calculus of discrete structures
SODA '07 Proceedings of the eighteenth annual ACM-SIAM symposium on Discrete algorithms
Summation algorithms for Stirling number identities
Journal of Symbolic Computation
Solving difference equations whose coefficients are not transcendental
Theoretical Computer Science
Computing the algebraic relations of C-finite sequences and multisequences
Journal of Symbolic Computation
Aligator: A Mathematica Package for Invariant Generation (System Description)
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Restricted k-ary words and functional equations
Discrete Applied Mathematics
A characteristic set method for ordinary difference polynomial systems
Journal of Symbolic Computation
A non-holonomic systems approach to special function identities
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
A new symbolic method for solving linear two-point boundary value problems on the level of operators
Journal of Symbolic Computation
Symbolic analysis for GSMP models with one stateful clock
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Reasoning algebraically about P-solvable loops
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Invariant generation for P-solvable loops with assignments
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
Complexity of creative telescoping for bivariate rational functions
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Effective bounds for P-recursive sequences
Journal of Symbolic Computation
Application of logic to integer sequences: a survey
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
The dynamic dictionary of mathematical functions (DDMF)
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Abstracts of conferences in honor of Doron Zeilberger's 60th birthday
ACM Communications in Computer Algebra
The inclusion problem for unambiguous rational trace languages
DLT'05 Proceedings of the 9th international conference on Developments in Language Theory
Algorithmic determination of q-power series for q-holonomic functions
Journal of Symbolic Computation
A symbolic summation approach to Feynman integral calculus
Journal of Symbolic Computation
Creative telescoping for rational functions using the griffiths: dwork method
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
The holonomic gradient method for the distribution function of the largest root of a Wishart matrix
Journal of Multivariate Analysis
A representation theorem for (q-)holonomic sequences
Journal of Computer and System Sciences
Closed form solutions of linear difference equations in terms of symmetric products
Journal of Symbolic Computation
Holonomic functions in mathematica
ACM Communications in Computer Algebra
Hi-index | 7.30 |