Showing 1 - 20 of 74

1

On the Existence of Telescopers for P-Recursive Sequences: On the existence of telescopers for P-recursive sequences
Lixin Du
Journal of Symbolic Computation. 130:102423

Computer Science - Symbo... FOS: Computer and inform... integral bases Generalized hypergeometr... Abramov-Petkovšek reduct... Symbolic computation of...
Academic journal
Save to List
2

On linearization coefficients of Jacobi polynomials
Hamza Chaggara ; Wolfram Koepf
Applied Mathematics Letters. 23:609-614

Orthogonal polynomials a... Linearization coefficien... Applied Mathematics Symbolic computation of... Jacobi polynomials Reduction formulae
Academic journal
Save to List
3

Elimination in Weyl Algebra and q-Identities: Elimination in Weyl algebra and \(q\)-identities
Tianming Wang ; Yujuan Huang
Journal of Systems Science and Complexity. 20:601-609

Basic hypergeometric fun... Zeilberger algorithm algorithmic proof of hyp... \(q\)-calculus and relat... Symbolic computation of... 0101 mathematics
Academic journal
Save to List
4

MOPS: Multivariate orthogonal polynomials (symbolically): MOPS: multivariate orthogonal polynomials (symbolically)
Ioana Dumitriu ; Gene Shuman ; Alan Edelman
Journal of Symbolic Computation. 42:587-620

Orthogonal polynomials a... Computational Mathematic... Algebra and Number Theor... Symbolic computation of... FOS: Physical sciences Mathematical Physics (ma...
Academic journal
Save to List
5

On the order of the recurrence produced by the method of creative telescoping
H. Q. Le ; Sergei A. Abramov
Discrete Mathematics. 298:2-17

Minimal telescoper Hypergeometric term Lower bound Zeilberger's algorithm Symbolic computation of... Discrete Mathematics and...
Academic journal
Save to List
6

The q-Markov-WZ Method: The \(q\)-Markov-WZ method
Mohamud Mohammed
Annals of Combinatorics. 9:205-221

series convergence Generalized hypergeometr... Symbolic computation of... WZ theory 0102 computer and inform... 0101 mathematics
Academic journal
Save to List
7

Transformation on Infinite Double Series and Applications to Harmonic Number Identities: Transformation on infinite double series and applications to harmonic number identities
CHU, Wenchang ; DEDONNO L.
Applicable Algebra in Engineering, Communication and Computing. 15:339-348

Bernoulli Number Symbolic computation of... Euler Number 0102 computer and inform... Double Series Transforma... 0101 mathematics
Academic journal
Save to List
8

Expansion around half-integer values, binomial sums, and inverse binomial sums: Expansion around half-integer values, binomial sums, and inverse binomial sums.
Stefan Weinzierl
Journal of Mathematical Physics. 45:2656-2673

High Energy Physics - Th... High Energy Physics - Ph... High Energy Physics - Ph... High Energy Physics - Th... Symbolic computation of... 0103 physical sciences
Academic journal
Save to List
9

k-free recurrences of double hypergeometric terms: \(k\)-free recurrences of double hypergeometric terms
Qing-Hu Hou
Advances in Applied Mathematics. 32:468-484

Holonomic function hypergeometric term k-free recurrence relati... Applied Mathematics Symbolic computation of... holonomic function
Academic journal
Save to List
10

COMPUTER PROOFS OF MATRIX PRODUCT IDENTITIES: Computer proofs of matrix product identities.
Peter J. Larcombe ; Burkhard Zimmermann ; Axel Riese
Journal of Algebra and Its Applications. :105-109

recurrence relations Symbolic computation of... Matrix equations and ide... 0102 computer and inform... definite integration computer proof
Academic journal
Save to List
11

Liebe Opa Paul, ich bin auch ein experimental Scientist!: Liebe Opa Paul, ich bin auch ein experimental scientist!
Doron Zeilberger
Advances in Applied Mathematics. 31:532-543

Methodology of mathemati... Applied Mathematics Symbolic computation of... History of linear algebr... 0102 computer and inform... 0101 mathematics
Academic journal
Save to List
12

Applications of Hermite transforms in computer algebra: Applications of Hermite transforms in computer algebra.
Helena Zakrajek
Advances in Applied Mathematics. 31:301-320

Hypergeometric polynomia... Applied Mathematics Symbolic computation of... Special integral transfo... Rational functions Linear differential equa...
Academic journal
Save to List
13

Computer proofs of a new family of harmonic number identities: Computer proofs of a new family of harmonic number identities.
Carsten Schneider ; Peter Paule
Advances in Applied Mathematics. 31:359-378

Binomial coefficients factorials \(q\)-identities harmonic number Applied Mathematics Symbolic computation of...
Academic journal
Save to List
14

An improvement of the two-line algorithm for proving q-hypergeometric identities: An improvement of the two-line algorithm for proving \(q\)-hypergeometric identities.
Jie Li ; Bao-Yin Zhang
Discrete Mathematics. 268:273-286

Two-line algorithm \(q\)-hypergeometric ide... Basic hypergeometric fun... two-line algorithm Symbolic computation of... Sister Celine's techniqu...
Academic journal
Save to List
15

A combined symbolic and numerical algorithm for the computation of zeros of orthogonal polynomials and special functions
Javier Segura ; Amparo Gil
Journal of Symbolic Computation. 35:465-485

Orthogonal polynomials Coulomb function Fixed point iterations Symbolic computation and... Maple algorithm 01 natural sciences
Academic journal
Save to List
16

Computerized deconstruction: Computerized deconstruction.
Doron Zeilberger
Advances in Applied Mathematics. 30:633-654

Methodology of mathemati... Irrationality linear independence over... Applied Mathematics Symbolic computation of... 0102 computer and inform...
Academic journal
Save to List
17

When does Zeilberger's algorithm succeed?
Sergei A. Abramov
Advances in Applied Mathematics. 30:424-441

Zeilberger's algorithm Applied Mathematics Symbolic computation of... 0101 mathematics 01 natural sciences
Academic journal
Save to List
18

Computer Algebra and Computing Special Functions: Computer algebra and computing special functions
S. L. Skorokhodov
Programming and Computer Software. 29:75-82

symbolic transformations Symbolic computation of... 0101 mathematics Symbolic computation and... 01 natural sciences
Academic journal
Save to List
19

computer algebra and computing special functions: Computer algebra and computing special functions
S. L. Skorokhodov
Programming and Computer Software. 29(2):75-82

symbolic transformations Symbolic computation of... Symbolic computation and...
Academic journal
Save to List
20

A new elementary algorithm for proving q-hypergeometric identities: A new elementary algorithm for proving \(q\)-hypergeometric identities
Bao-Yin Zhang
Journal of Symbolic Computation. 35:293-303

computer proofs Computational Mathematic... \(q\)-hypergeometric ide... elimination Algebra and Number Theor... Elimination
Academic journal
Save to List

Filter