Results 11 to 20 of about 38 (37)

Generation of invariants in theorema

, 2003
. Explicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, in most of the cases, however, these invariants are usually implicit.
Laura Ildikó Kovács, Tudor Jebelean
core  

A telescoping method for double summations

, 2006
We present a method to prove hypergeometric double summation identities. Given a hypergeometric term F(n,i,j), we aim to find a difference operator L=a0(n)N0+a1(n)N1+⋯+ar(n)Nr and rational functions R1(n,i,j),R2(n,i,j) such that LF=Δi(R1F)+Δj(R2F). Based
Yan-ping Mu, Qing-hu Hou, William Y. C. Chen   +2 more
core  

Harmonic interpolation based on Radon projections along the sides of regular polygons

Open Mathematics, 2013
Georgieva Irina, Hofreither Clemens, Koutschan Christoph, Pillwein Veronika, Thanatipanonda Thotsaporn   +4 more
doaj   +1 more source

A remarkable basic hypergeometric identity. [PDF]

Ramanujan J
Krattenthaler C, Zudilin W.
europepmc   +1 more source

A MacMahon analysis view of cylindric partitions. [PDF]

Ramanujan J
Li R, Uncu AK.
europepmc   +1 more source

Design, synthesis, and evaluation of novel arecoline-linked amino acid derivatives for insecticidal and antifungal activities. [PDF]

Sci Rep
Pang C, Xu Y, Ma X, Li S, Zhou S, Tian H, Wang M, Han B.   +7 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

On an Integral Identity

American Mathematical Monthly, 2021
Mikael Persson Sundqvist, Fernando Chamizo, Alin Bostan   +2 more
exaly  

Some Variations of a ‘Divergent’ Ramanujan-Type q-Supercongruence

Journal of Difference Equations and Applications, 2021
Víctor J W Guo
exaly  

A Generalization of Kummer's Identity

Rocky Mountain Journal of Mathematics, 2002
Raimundas Vidunas
exaly