On the Problem of Recognizing Zero
Journal of the ACM (JACM)
Symbolic Solution of Finite-Difference Equations
ACM Transactions on Mathematical Software (TOMS)
Symbolic evaluation of programs: a look at loop analysis
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Theory of Summation in Finite Terms
Journal of Symbolic Computation
Computer Algebra: Past and Future
Journal of Symbolic Computation
Summation of binomial coefficients using hypergeometric functions
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Journal of the ACM (JACM)
Symbolic summation with generating functions
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Formal solutions of differential equations
Journal of Symbolic Computation
Symbolic analysis for parallelizing compilers
ACM Transactions on Programming Languages and Systems (TOPLAS)
High degree solutions of low degree equations (extended abstract)
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Hypergeometric dispersion and the orbit problem
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Computer algebra handbook
ACM SIGSAM Bulletin
Symbolic summation with single-nested sum extensions
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Finding telescopers with minimal depth for indefinite nested sum and product expressions
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Application of unspecified sequences in symbolic summation
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
An algorithm for deciding zero equivalence of nested polynomially recurrent sequences
ACM Transactions on Algorithms (TALG)
Symbolic summation with radical expressions
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Summation algorithms for Stirling number identities
Journal of Symbolic Computation
A refined difference field theory for symbolic summation
Journal of Symbolic Computation
Rational solutions of ordinary difference equations
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
Polynomial ring automorphisms, rational (w,σ)-canonical forms, and the assignment problem
Journal of Symbolic Computation
Hypergeometric pattern matching summation in maple
Programming and Computing Software
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
A symbolic summation approach to feynman integrals
ACM Communications in Computer Algebra
Nullspace computation over rational function fields for symbolic summation
ACM Communications in Computer Algebra
Summation in finite terms using sage
ACM Communications in Computer Algebra
European Journal of Combinatorics
Summing symbols in mutual recurrences
COCOON'11 Proceedings of the 17th annual international conference on Computing and combinatorics
The extended Zeilberger algorithm with parameters
Journal of Symbolic Computation
A symbolic summation approach to Feynman integral calculus
Journal of Symbolic Computation
Hi-index | 0.01 |