Results 11 to 20 of about 70,001 (264)
Solvability = Typability + Inhabitation
Logical Methods in Computer Science, 2021 We extend the classical notion of solvability to a lambda-calculus equipped with pattern matching. We prove that solvability can be characterized by means of typability and inhabitation in an intersection type system P based on non-idempotent types. We show first that the system P characterizes the set of terms having canonical form, i.e.
Antonio Bucciarelli +2 more
openaire +5 more sources
Proceedings of the American Mathematical Society, 1985 Let R be an associative ring with 1 and let \(L=L(R)\) be its associated Lie ring. Assume that L is solvable of length n. It is shown here that if 3 is invertible in R, then the ideal J of R generated by all elements of the form [[[a,b],[c,d]],e] is nilpotent of index bounded by \(10^{n-2}\) for \(n\geq 3\).
Sharma, R. K., Srivastava, J. B.
openaire +2 more sources
On some approximate calculations for certain pseudo-differential equations
Қарағанды университетінің хабаршысы. Математика сериясы, 2018 We consider discrete pseudo - differential operatots and equations as approximate operators and equations for their continuous analogues. For this purpose we study a solvability for such equations in appropriate discrete spaces and give some error ...
V.B. Vasilyev
doaj +1 more source
Electronic Journal of Qualitative Theory of Differential Equations, 2015 For system of hyperbolic equations of second order a nonlinear boundary value problem with integral condition is considered. By introducing new unknown functions the investigated problem is reduced to an equivalent problem involving one-parametered ...
Anar Assanova
doaj +1 more source
The Solvability of a Class of Convolution Equations Associated with 2D FRFT
Mathematics, 2020 In this paper, the solvability of a class of convolution equations is discussed by using two-dimensional (2D) fractional Fourier transform (FRFT) in polar coordinates. Firstly, we generalize the 2D FRFT to the polar coordinates setting.
Zhen-Wei Li, Wen-Biao Gao, Bing-Zhao Li
doaj +1 more source
Эредитарная маломодовая модель динамо
Vestnik KRAUNC: Fiziko-Matematičeskie Nauki, 2021 В данной статье рассматривается модель динамо в виде двумерной динамической системы в интегро-дифференциальной форме. В модели реализован стабилизирующий генерацию поля механизм обратной связи в виде подавления α-эффекта функционалом сверточного типа от ...
Казаков, Е.А.
doaj +1 more source
$L^p$ solvability of the Stationary Stokes problem on domains with conical singularity in any dimension [PDF]
, 2010 The Dirichlet boundary value problem for the Stokes operator with $L^p$ data in any dimension on domains with conical singularity (not necessary a Lipschitz graph) is considered.
Dindoš, Martin, Maz'ya, Vladimir
core +2 more sources
Reflected forward-backward SDEs and obstacle problems with boundary conditions [PDF]
, 2001 In this paper we study a class of forward-backward stochastic differential equations with reflecting boundary conditions (FBSDER for short). More precisely, we consider the case in which the forward component of the FBSDER is restricted to a fixed ...
Cvitanić, Jakša, Ma, Jin
core +2 more sources
Constructive method for solvability of Fredholm equation of the first kind
Electronic Journal of Qualitative Theory of Differential Equations, 2017 The solvability and construction of the general solution of the first kind Fredholm integral equation are among the insufficiently explored problems in mathematics. There are various approaches to solve this problem.
Serikbai Aisagaliev, Zhanat Zhunussova
doaj +1 more source
Definability of linear equation systems over groups and rings [PDF]
, 2012 Motivated by the quest for a logic for PTIME and recent insights that the descriptive complexity of problems from linear algebra is a crucial aspect of this problem, we study the solvability of linear equation systems over finite groups and rings from ...
Anuj Dawar +5 more
core +6 more sources