MultInt, a MAPLE package for multiple integration by the WZ method (Q1864891): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
(7 intermediate revisions by 5 users not shown)
Property / DOI
 
Property / DOI: 10.1006/jsco.2002.0561 / rank
Normal rank
 
Property / cites work
 
Property / cites work: qZeil / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3724706 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some questions concerning computer-generated proofs of a binomial double- sum identity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algorithms for \(q\)-hypergeometric summation in computer algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3037442 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A one-line proof of the Habsieger-Zeilberger \(G_ 2\) constant term identity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3731609 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some Conjectures for Root Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4341407 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4875364 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4460867 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5845916 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Binomial identities -- combinatorial and algorithmic aspects / rank
 
Normal rank
Property / cites work
 
Property / cites work: A multiple integral evaluation inspired by the multi-WZ method / rank
 
Normal rank
Property / cites work
 
Property / cites work: An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Proof of the $G_2 $ Case of Macdonald’s Root System-Dyson Conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: A fast algorithm for proving terminating hypergeometric identities / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: qZeil / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Maple / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1006/jsco.2002.0561 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2087813593 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1006/JSCO.2002.0561 / rank
 
Normal rank

Latest revision as of 10:42, 16 December 2024

scientific article
Language Label Description Also known as
English
MultInt, a MAPLE package for multiple integration by the WZ method
scientific article

    Statements

    MultInt, a MAPLE package for multiple integration by the WZ method (English)
    0 references
    0 references
    23 March 2003
    0 references
    Starting from the MAPLE implementation TRIPLE INTEGRAL written by D. Zeilberger to describe the WZ-method [see \textit{H. S. Wilf} and \textit{D. Zeilberger}, Invent. Math. 103, No 3, 575-634 (1992; Zbl 0782.05009); see also the preview Zbl 0739.05007)] for the case of three continuous variables, the author in the present paper describes a MAPLE package MultInt which improves and generalizes Zeilberger's TRIPLE INTEGRAL for any specific number of continuous variables so that it completely implements the continuous version of the multi-WZ method. Several examples showing how this package MultInt can be used to generate proofs of identities (or recurrences) involving multiple integrals of proper-hyperexponential functions, are also given.
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references