Results 31 to 40 of about 138,881 (237)
The exp-log normal form of types [PDF]
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. +5 more
core +4 more sources
Fast methods to compute the Riemann zeta function [PDF]
The Riemann zeta function on the critical line can be computed using a straightforward application of the Riemann-Siegel formula, Sch\"onhage's method, or Heath-Brown's method.
Hiary, Ghaith Ayesh
core +1 more source
Retraction Note: On the fourth power mean of the two-term exponential sums [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zhu, Minhui, Han, Di
openaire +2 more sources
Some new hybrid power mean formulae of trigonometric sums
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
New sum-product type estimates over finite fields [PDF]
Let $F$ be a field with positive odd characteristic $p$. We prove a variety of new sum-product type estimates over $F$. They are derived from the theorem that the number of incidences between $m$ points and $n$ planes in the projective three-space $PG(3 ...
Roche-Newton, Oliver +2 more
core +3 more sources
A certain two-term exponential sum and its fourth power means
The main purpose of this article is using the properties of the Legendre’s symbol and the classical Gauss sums to study the calculating problem of the fourth power mean of a certain two-term exponential sums, and give an interesting calculating formula ...
Zhang Jin, Zhang Wenpeng
doaj +1 more source
One Kind New Hybrid Power Mean and Its Computational Formulae
The main purpose of this study is to use the elementary and analytic methods and the properties of the classical Gauss sums to study the calculation problems of one kind of hybrid power mean involving the quadratic character sums and the two-term ...
Li Wang, Xuexia Wang
doaj +1 more source
Generalization of the coupled dipole method to periodic structures [PDF]
We present a generalization of the coupled dipole method to the scattering of light by arbitrary periodic structures. This new formulation of the coupled dipole method relies on the same direct-space discretization scheme that is widely used to study the
A. Lakhtakia +24 more
core +4 more sources
Sub-Weyl subconvexity for Dirichlet L-functions to prime power moduli [PDF]
We prove a subconvexity bound for the central value L(1/2, chi) of a Dirichlet L-function of a character chi to a prime power modulus q=p^n of the form L(1/2, chi)\ll p^r * q^(theta+epsilon) with a fixed r and theta\approx 0.1645 < 1/6, breaking the long-
Milićević, Djordje
core +1 more source
Long-range potential and the fine structure of the diffraction peak [PDF]
The possibility of oscillations in the differential elastic cross section of hadron scattering at small momentum transfer is studied. It is shown that string-like quark potentials at large distances can lead to such small oscillations, and an analysis of
Cudell, J. -R., Selyugin, O. V.
core +1 more source

