Results 41 to 50 of about 73,865 (284)
Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version) [PDF]
International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2018 Reasoning about commutativity between data-structure operations is an important problem with applications including parallelizing compilers, optimistic parallelization and, more recently, Ethereum smart contracts.
Kshitij Bansal +2 more
semanticscholar +1 more source
On the commutativity of the powerspace constructions [PDF]
Log. Methods Comput. Sci., 2017 We investigate powerspace constructions on topological spaces, with a particular focus on the category of quasi-Polish spaces. We show that the upper and lower powerspaces commute on all quasi-Polish spaces, and show more generally that this ...
Matthew deBrecht, Tatsuji Kawai
semanticscholar +1 more source
Properties of the commutators of some elements of linear groups over divisions rings
Математичні Студії, 2020 Inclusions resulting from the commutativity of elements and their commutators with trans\-vections in the language of residual and fixed submodules are found.
V. M. Petechuk, Yu. V. Petechuk
doaj +1 more source
, 2021 Artifacts accompanying paper: Contract-Based Return-Value Commutativity: Safely exploiting contract-based commutativity for faster serializable ...
Tim Soethout, Soethout, T.M. (Tim)
core +1 more source
Generalized Derivations with Commutativity and Anti-commutativity Conditions [PDF]
, 2007 Let R be a prime ring with 1, with char(R) ≠ 2; and let F : R → R be a generalized derivation. We determine when one of the following holds for all x,y ∈ R: (i) [F(x); F(y)] = 0; (ii) F(x)ΟF(y) = 0; (iii) F(x) Ο F(y) = x Ο
Rehman, Nadeem-ur +3 more
core +1 more source
Commutant lifting for commuting row contractions [PDF]
Bulletin of the London Mathematical Society, 2010 one section and references were ...
Davidson, Kenneth R., Le, Trieu
openaire +2 more sources
How we use what we learn in Math: An integrative account of the development of commutativity.
Frontline Learning Research, 2014 One of the crucial issues in mathematics development is how children acquire mathematical concepts and procedures. Most researchers now agree that this knowledge develops iteratively (e.g., Resnick, 1992).
Hilde Haider +5 more
doaj +1 more source
Intrinsic non-commutativity of closed string theory [PDF]
, 2017 A bstractWe show that the proper interpretation of the cocycle operators appearing in the physical vertex operators of compactified strings is that the closed string target is noncommutative.
L. Freidel, R. Leigh, D. Minic
semanticscholar +1 more source
Some fixed point theorems for compatible maps
International Journal of Mathematics and Mathematical Sciences, 1993 A collection of fixed point theorems is generalized by replacing hypothesized commutativity or weak commutativity of functions involved by compatibility.
G. jungck, B. E. Rhoades
doaj +1 more source
Journal of Algebra, 2003 The purpose of this paper is to study finite-dimensional Lie algebras over a field k of characteristic zero which admit a commutative polarization (CP). Among the many results and examples, it is shown that, if k is algebraically closed, the nilradical N of a parabolic subalgebra in A_n and C_n has such a CP.
ELASHVILI, Alexander, OOMS, Alfons
openaire +4 more sources