14 search results - page 1 / 3 » Generating Kummer Type Formulas for Hypergeometric Functions |
97
Voted
DAGSTUHL
2003
15 years 4 months ago
2003
Abstract. Kummer type formulas are identities of hypergeometric series. A symmetry by the permutations of n-letters yields these formulas. We will present an algorithmic method to ...
142
click to vote
ANTS
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present a new approach based on theta functions to compute Weil and Tate pairings. A benefit of our method, which does not rely on the classical Miller's alg...
128
Voted
EJC
2011
14 years 9 months ago
2011
Noncrossing set partitions, nonnesting set partitions, Dyck paths, and rooted plane trees are four classes of Catalan objects which carry a notion of type. There exists a product f...
138
click to vote
ADCM
2010
15 years 2 months ago
2010
Let Rd be a compact convex set of positive measure. In a recent paper, we established a definiteness theory for cubature formulae of order two on . Here we study extremal propert...
122
Voted
TAP
2010
Springer
15 years 7 months ago
2010
Springer
This paper presents techniques for applying a finite relational model finder to logical specifications that involve (co)inductive predicates, (co)algebraic datatypes, and (co)re...