Related papers: Research on Arithmetic
Linear logic was conceived in 1987 by Girard and, in contrast to classical logic, restricts the usage of the structural inference rules of weakening and contraction. With this, atoms of the logic are no longer interpreted as truth, but as…
We present a streamlined, slightly modified version, in the two-variable situation, of a beautiful, but not so well known, theory by B\"{o}gel, already from the 1930s, on an alternative higher dimensional calculus of real functions, a…
In this paper a novel calculus system has been established based on the concept of 'werden'. The basis of logic self-contraction of the theories on current calculus was shown. Mistakes and defects in the structure and meaning of the…
The continue fractions of quadratic surds are periodic, according to a theorem by Lagrange. Their periods may have differing types of symmetries. This work relates these types of symmetries to the symmetries of the classes of the…
We find it necessary to advise the interested and active instructor of Physics on the wrongness of some computations in the aforementioned article. Surprisingly, the Journal refuses to even publish an erratum on the paper, which naturally…
This paper focuses on the numerical solution of initial value problems for fractional differential equations of linear type. The approach we propose grounds on expressing the solution in terms of some integral weighted by a generalized…
Continued fractions in the field of $p$--adic numbers have been recently studied by several authors. It is known that the real continued fraction of a positive quadratic irrational is eventually periodic (Lagrange's Theorem). It is still…
We constructed a multi-parametric deformation of the Brauer algebra representation related with the symplectic Lie algebras. The notion of Manin matrix of type C was generalised to the case of the multi-parametric deformation by using this…
In the present work, a kind of trigonometric collocation methods based on Lagrange basis polynomials is developed for effectively solving multi-frequency oscillatory second-order differential equations…
We consider the numerical construction of minimal Lagrangian graphs, which is related to recent applications in materials science, molecular engineering, and theoretical physics. It is known that this problem can be formulated as an…
The second-order equation in the (1/2,0)+(0,1/2) representation of the Lorentz group has been proposed by A. Barut in the beginning of the 70s. It permits to explain the mass splitting of leptons e,mu,tau. Recently, the interest has grown…
In their 1991 paper "Algebraic Reconstruction of Types and Effects," Pierre Jouvelot and David Gifford presented a type-and-effect reconstruction algorithm based on an algebraic structure of effects. Their work is considered a milestone in…
The Dumont differential system on the Jacobi elliptic functions was introduced by Dumont (Math Comp, 1979, 33: 1293--1297) and was extensively studied by Dumont, Viennot, Flajolet and so on. In this paper, we first present a labeling scheme…
We have been working in many aspects of the problem of analyzing, understanding and solving ordinary differential equations (first and second order). As we have extensively mentioned, while working in the Darboux type methods, the most…
In this thesis, written in Italian, some original results are presented: two new optical invariants, similar to that of Lagrange, the generalization of the third order Luneburg's aberrations formulae and the detailed proof of the way they…
The fundamental problem of calculus of variations is considered when solutions are differentiable curves on locally convex spaces. Such problems admit an extension of the Euler-Lagrange equations [Orlov 2002] for continuously normally…
In 1980, V. I. Arnold studied the classification problem for convex lattice polygons of given area. Since then, this problem and its analogues have been studied by many authors, including $\mathrm{B\acute{a}r\acute{a}ny}$, Lagarias, Pach,…
In this paper we discuss about properties of lattices and its application in theoretical and algorithmic number theory. This result of Minkowski regarding the lattices initiated the subject of Geometry of Numbers, which uses geometry to…
Diffusive representations of fractional differential and integral operators can provide a convenient means to construct efficient numerical algorithms for their approximate evaluation. In the current literature, many different variants of…
A Lagrange-dual (Gallager-style) lower bound is derived for the error exponent function of the typical random code (TRC) pertaining to the i.i.d. random coding ensemble and mismatched stochastic likelihood decoding. While the original…