Results 1 to 10 of about 290,262 (199)
Theories for TC0 and Other Small Complexity Classes [PDF]
Logical Methods in Computer Science, 2006 We present a general method for introducing finitely axiomatizable "minimal" two-sorted theories for various subclasses of P (problems solvable in polynomial time). The two sorts are natural numbers and finite sets of natural numbers.
Phuong Nguyen, Stephen Cook
doaj +5 more sources
Axioms, 2022 The class of measure spaces which can be represented as unions of Lebesgue-Rohlin spaces with continuous measures contains a lot of important examples, such as Rn for any n∈N with the Lebesgue measure.
Taras Vasylyshyn, Kostiantyn Zhyhallo
doaj +3 more sources
On the solvability of a class of nonlinear Hammerstein integral equations on the semiaxis [PDF]
Известия Саратовского университета. Новая серия: Математика. Механика. Информатика, 2022 The paper studies a class of nonlinear integral equations on the semiaxis with a non-compact Hammerstein operator. It is assumed that the kernel of the equation decreases exponentially on the positive part of the number axis. Equations of this kind arise
Khachatryan, Khachatur Agavardovich +1 more
doaj +1 more source
Axioms, 2021 The main motivation of this article is derive a new post-quantum integral identity using twice (p, q)-differentiable functions. Using the identity as an auxiliary result, we will obtain some new variants of Hermite–Hadamard’s inequality essentially via ...
Miguel Vivas-Cortez +4 more
doaj +1 more source
On Landau-Kolmogorov type inequalities for charges and their applications
Researches in Mathematics, 2023 In this article we prove sharp Landau-Kolmogorov type inequalities on a class of charges defined on Lebesgue measurable subsets of a cone in $\mathbb{R}^d$, $d\geqslant 1$, that are absolutely continuous with respect to the Lebesgue measure.
V.F. Babenko +3 more
doaj +1 more source
On homogeneous controllability functions
Visnik Harkivsʹkogo Nacionalʹnogo Universitetu im. V.N. Karazina. Cepiâ Matematika, Prikladna Matematika i Mehanika, 2021 The controllability function method, introduced by V. I. Korobov in late 1970s, is known to be an efficient tool for control systems design. It is developed for both linear/nonlinear and finite/infinite dimensional systems.
Andrey Polyakov
doaj +1 more source
Solving one pseudo-Volterra integral equation
Қарағанды университетінің хабаршысы. Математика сериясы, 2019 In this paper, we study the solvability of a second - kind pseudo-Volterra integral equation. By replacing the right - hand side and the unknown function, the integral equation is reduced to an integral equation, the kernel of which is not «compressible»
M.T. Kosmakova +4 more
doaj +1 more source
To the solution of one pseudo-Volterra integral equation
Қарағанды университетінің хабаршысы. Математика сериясы, 2019 In this paper, we study a homogeneous singular integral Volterra equation of the second kind (pseudoVolterra integral equation). The singularity of the integral equation is shown. Properties of its kernel are proved.
M.T. Jenaliyev +3 more
doaj +1 more source
On strongly loaded heat equations
Қарағанды университетінің хабаршысы. Математика сериясы, 2019 The article is devoted to the research of boundary value problems for the spectrum - loaded operator of heat conduction with the moving point of loading to the temporary axle in zero or on infinity. For strongly loaded parabolic 2k - order equations the
D.M. Akhmanova +2 more
doaj +1 more source
On a pseudo-Volterra nonhomogeneous integral equation
Қарағанды университетінің хабаршысы. Математика сериясы, 2019 In this paper the issues of the solvability of a pseudo-Volterra nonhomogeneous integral equation of the second kind are studied. The solution to the corresponding homogeneous equation and the classes of the uniqueness of the solution are found in [1 ...
M.T. Kosmakova +3 more
doaj +1 more source