DMTCS
14 years 10 months ago
2010 
Abstract. For 3 different versions of q-tangent resp. q-cotangent functions, we compute the continued fraction expansion explicitly, by guessing the relative quantities and proving...
AMCS
15 years 1 months ago
2010 141
click to vote
MPC
15 years 3 months ago
2010 Springer 
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
146
click to vote
ITP
15 years 3 months ago
2010
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
125
click to vote
SETA
14 years 11 months ago
2010 Springer 
In this paper we start developing a detailed theory of nega– Hadamard transforms. Consequently, we derive several results on negabentness of concatenations, and partially-symmetr...
|
Mathematics