Results 31 to 40 of about 137,956 (119)

The exp-log normal form of types [PDF]

, 2016
Lambda calculi with algebraic data types lie at the core of functional programming languages and proof assistants, but conceal at least two fundamental theoretical problems already in the presence of the simplest non-trivial data type, the sum type ...
Ahmad A., Balat V., Dougherty D., Friedman H., Ghani N., Hardy G. H.   +5 more
core   +4 more sources

Some new hybrid power mean formulae of trigonometric sums

Advances in Difference Equations, 2020
We apply the analytic method and the properties of the classical Gauss sums to study the computational problem of a certain hybrid power mean of the trigonometric sums and to prove several new mean value formulae for them.
Li Chen, Zhuoyu Chen
doaj   +1 more source

Retracted Article: On the fourth power mean of the two-term exponential sums [PDF]

Journal of Inequalities and Applications, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zhu, Minhui, Han, Di
openaire   +2 more sources

On the sixth power mean values of a generalized two-term exponential sums

AIMS Mathematics, 2023
<abstract><p>This paper examines the evaluations of sixth power mean values of a generalized two-term exponential sums. In the case $ p\equiv 3\bmod 4 $, we try to establish two precise formulas by applying the properties of character sums and the number of the solutions of relevant congruence equations modulo an odd prime $ p $.</p> ...
Shujie Zhou, Li Chen
openaire   +2 more sources

On the sixth power mean of one kind two-term exponential sums weighted by Legendre's symbol modulo $ p $

AIMS Mathematics, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Wenpeng Zhang, Yuanyuan Meng
openaire   +2 more sources

The sixth power mean of one kind generalized two-term exponential sums and their asymptotic properties

Electronic Research Archive, 2023
<abstract><p>The main aim of this article is using the elementary method and the number of the solutions of some congruence equations modulo an odd prime $ p $, to study the calculating problem of the sixth power mean of one kind generalized two-term exponential sums, and give a sharp asymptotic formula for it.</p></abstract>
Jin Zhang, Xiaoxue Li
openaire   +2 more sources

On the hybrid power mean of two kind different trigonometric sums

Open Mathematics, 2019
The main purpose of this paper is using the analytic method, the properties of trigonometric sums and Gauss sums to study the computational problem of one kind hybrid power mean involving two different trigonometric sums, and give an interesting ...
Zhuoyu Chen, Wenpeng Zhang
doaj   +1 more source

On matrix elements for the quantized cat map modulo prime powers

, 2008
The quantum cat map is a model for a quantum system with underlying chaotic dynamics. In this paper we study the matrix elements of smooth observables in this model, when taking arithmetic symmetries into account. We give explicit formulas for the matrix
Kelmer, Dubi
core   +3 more sources

The Fourth Hybrid Power Mean Involving the Character Sums and Exponential Sums

Mathematics
In this paper, we consider the fourth hybrid power mean involving two-term exponential sums and third-order character sum modulo p, a topic of significant importance in analytic number theory.
Guohui Chen, Tingting Du
doaj   +1 more source

The fourth power mean of the generalized two-term exponential sums and its upper and lower bound estimates [PDF]

Journal of Inequalities and Applications, 2013
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Li, Xiaoxue, Xu, Zhefeng
openaire   +2 more sources