Results 31 to 40 of about 3,560,062 (313)
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 +6 more sources
Localized Majorana-Like Modes in a Number-Conserving Setting: An Exactly Solvable Model. [PDF]
Physical Review Letters, 2015 In this Letter we present, in a number conserving framework, a model of interacting fermions in a two-wire geometry supporting nonlocal zero-energy Majorana-like edge excitations. The model has an exactly solvable line, on varying the density of fermions,
F. Iemini +4 more
semanticscholar +1 more source
Call-by-value Solvability [PDF]
RAIRO - Theoretical Informatics and Applications, 1999 Summary: The notion of solvability in the call-by-value \(\lambda\)-calculus is defined and completely characterized, both from an operational and a logical point of view. The operational characterization is given through a reduction machine, performing the classical \(\beta\)-reduction, according to an innermost strategy.
Luca Paolini, Simona Ronchi Della Rocca
openaire +1 more source
Statistical mechanics and dynamics of solvable models with long-range interactions [PDF]
, 2009 For systems with long-range interactions, the two-body potential decays at large distances as V ( r ) ∼ 1 / r α , with α ≤ d , where d is the space dimension. Examples are: gravitational systems, two-dimensional hydrodynamics, two-dimensional elasticity,
A. Campa +12 more
semanticscholar +1 more source
Axioms, 2019 The generic structure and some peculiarities of real rank one solvable Lie algebras possessing a maximal torus of derivations with the eigenvalue spectrum spec ( t ) = 1 , k , k + 1 , ⋯ , n + k − 3 , n + 2 k − 3 for k ≥ 2
Rutwig Campoamor-Stursberg +1 more
doaj +1 more source
Maximal Solvable Leibniz Algebras with a Quasi-Filiform Nilradical
Mathematics, 2023 This article is part of a study on solvable Leibniz algebras with a given nilradical. In this paper, solvable Leibniz algebras, whose nilradical is naturally graded quasi-filiform algebra and the complemented space to the nilradical has maximal dimension,
Kobiljon Abdurasulov +2 more
doaj +1 more source
Structure and bimodules of simple Hom-alternative algebras
Extracta Mathematicae, 2021 This paper is mainly devoted to a structure study of Hom-alternative algebras. Equivalent conditions for Hom-alternative algebras being solvable, simple and semi-simple are provided. Moreover some results about Hom-alternative bimodule are found.
S. Attan
doaj
A note on the structure of a finite group G having a subgroup H maximal in 〈H, Hg〉
Open Mathematics, 2019 Let G be a finite group and H ≤ G. The authors study the structure of finite groups G having a subgroup H which is maximal in 〈H, Hg〉 for some g ∈ G. Some results on the structure of 〈H, Hg〉 and G are set up.
Xu Yong, Li Xianhua, Chen Guiyun
doaj +1 more source
Jurnal Matematika UNAND, 2019 Grup solvable merupakan suatu grup yang mempunyai barisan subgrup normal dan grup faktor yang terjadi pada unsur dibarisan tersebut adalah grup abelian.
Dwi Ratna Dian Sari, Yanita Yanita
doaj +1 more source
Advances in Difference Equations, 2021 The well-known first-order nonlinear difference equation y n + 1 = 2 y n − x y n 2 , n ∈ N 0 , $$ y_{n+1}=2y_{n}-xy_{n}^{2}, \quad n\in {\mathbb {N}}_{0}, $$ naturally appeared in the problem of computing the reciprocal value of a given nonzero real ...
Stevo Stević
doaj +1 more source