AbstractA new evaluation of deti+j+x2i−j0⩽1,j⩽n−1 is provided. The method of proof is inspired by the work of Pfaff. The proof hinges on the summation of many new balanced 5F4 hypergeometric series
A variation of Zeilberger’s holonomic ansatz for symbolic de-terminant evaluations is proposed which...
AbstractRecently, there has been a revival of interest in the Pfaff identity on hypergeometric serie...
We study arithmetic proof systems Pc(F) and Pf (F) operating with arithmetic circuits and arithmetic...
We generalize (and hence trivialize and routinize) numerous explicit evaluations of determinants and...
AbstractThe paper refers to the well-known identity, published by Jacobi in 1833, relating each mino...
AbstractThis paper is devoted to proving the conjecture by Mills, Robbins, and Rumsey that the numbe...
We give a new combinatorial explanation for well-known relations between determinants and traces of ...
AbstractBinomial convolution identities of the Hagen-Rothe type with even and odd summation indices ...
AbstractLet a(x) = Σ0∞ (−1)nanxn and b(x) = Σ0∞bnxn be two elements in the ring of formal power seri...
AbstractUsing a recurrence derived from Dodgson's Condensation Method, we provide numerous explicit ...
International audienceMotivated by the Gaussian symplectic ensemble, Mehta and Wang evaluated the $n...
CombinatoricsWe generalize (and hence trivialize and routinize) numerous explicit evaluations of det...
<F4.793e+05> We prove a new combinatorial characterization of the<F3.928e+05> determi-&...
Abstract: We conjecture a certain explicit determinant evaluation, whose proof would imply the solut...
AbstractWe present some new Pfaffian identities related to the Plücker relations. As consequences we...
A variation of Zeilberger’s holonomic ansatz for symbolic de-terminant evaluations is proposed which...
AbstractRecently, there has been a revival of interest in the Pfaff identity on hypergeometric serie...
We study arithmetic proof systems Pc(F) and Pf (F) operating with arithmetic circuits and arithmetic...
We generalize (and hence trivialize and routinize) numerous explicit evaluations of determinants and...
AbstractThe paper refers to the well-known identity, published by Jacobi in 1833, relating each mino...
AbstractThis paper is devoted to proving the conjecture by Mills, Robbins, and Rumsey that the numbe...
We give a new combinatorial explanation for well-known relations between determinants and traces of ...
AbstractBinomial convolution identities of the Hagen-Rothe type with even and odd summation indices ...
AbstractLet a(x) = Σ0∞ (−1)nanxn and b(x) = Σ0∞bnxn be two elements in the ring of formal power seri...
AbstractUsing a recurrence derived from Dodgson's Condensation Method, we provide numerous explicit ...
International audienceMotivated by the Gaussian symplectic ensemble, Mehta and Wang evaluated the $n...
CombinatoricsWe generalize (and hence trivialize and routinize) numerous explicit evaluations of det...
<F4.793e+05> We prove a new combinatorial characterization of the<F3.928e+05> determi-&...
Abstract: We conjecture a certain explicit determinant evaluation, whose proof would imply the solut...
AbstractWe present some new Pfaffian identities related to the Plücker relations. As consequences we...
A variation of Zeilberger’s holonomic ansatz for symbolic de-terminant evaluations is proposed which...
AbstractRecently, there has been a revival of interest in the Pfaff identity on hypergeometric serie...
We study arithmetic proof systems Pc(F) and Pf (F) operating with arithmetic circuits and arithmetic...
DOI
Add to ORKG