Results 11 to 20 of about 77,220 (199)
A Geometric Study of Commutator Subgroups [PDF]
, 2009 Let G be a group and G' its commutator subgroup. Commutator length (cl) and stable commutator length (scl) are naturally defined concepts for elements of G'. We study cl and scl for two classes of groups.
Zhuang, Dongping, Dongping Zhuang
core +1 more source
Approximate Quantifier Elimination for Propositional Boolean Formulae [PDF]
, 2011 This paper describes an approximate quantifier elimination procedure for propositional Boolean formulae. The method is based on computing prime implicants using SAT and successively refining over-approximations of a given formula.
Lijun Zhang +9 more
core +1 more source
, 2021 In these notes, we introduce the reader to the categorical commutator theory (of subobjects), following the formal approach given by Mantovani and Metere in 2010.
A. Montoli +3 more
core +1 more source
Hypercyclicity Properties of Commutator Maps [PDF]
, 2017 We investigate the hypercyclic properties of commutator operators acting on separable Banach ideals of operators. As the main result we prove the commutator map induced by scalar multiples of the backward shift operator fails to be hypercyclic on the ...
Tylli, Hans-Olav +2 more
core +1 more source
Tree-width for first order formulae [PDF]
, 2012 We introduce tree-width for first order formulae φ, fotw(φ). We show that computing fotw is fixed-parameter tractable with parameter fotw. Moreover, we show that on classes of formulae of bounded fotw, model checking is fixed parameter tractable, with ...
Isolde Adler +3 more
core +1 more source
Commutation formulae with respect to non-symmetric affine connection [PDF]
Quaestiones Mathematicae, 2021 Commutation formulae with respect to a non-symmetric affine connection are obtained in this paper. The components of commutation formulae in this paper are covariant derivatives of tensors with respect to symmetric and non-symmetric affine connection.
Simjanovic', Dusan J., Vesic', Nenad O.
openaire +3 more sources
Relative Commutator Theory in Semi-Abelian Categories [PDF]
, 2011 Basing ourselves on the concept of double central extension from categorical Galois theory, we study a notion of commutator which is defined relative to a birkhoff subcategory Beta of a semi-abelian category Alpha. This commutator characterises Janelidze
Everaert, Tomas, Van der Linden, Tim
core +1 more source
Tiers, structure formulae and the analysis of complicated experiments
, 1996 The use of several structure formulae has many advantages for specifying the models for comparative experiments. In many experiments, two formulae are sufficient to ensure that the analysis-of-variance table correctly represents the confounding ...
Brien, C., Payne, R. W.
core +1 more source
ANALYTICAL APPROACH TO DESCRIPTION OF SOME C0MBINATORIAL AND NUMBER-THEORETIC COMPUTATIVE ALGORITHMS [PDF]
, 1999 We discuss the theme on translating different descriptions of computative algorithms into high-level programming languages, enumerate some advantages of analytical descriptions and demonstrate that logical functions may be used effectively to create ...
SHMAGIN, V.V., CHEBRAKOV, Y.V
core +1 more source
When are prime formulae characteristic?
, 2018 In the setting of the modal logic that characterizes modal refinement over modal transition systems, Boudol and Larsen showed that the formulae for which model checking can be reduced to preorder checking, that is, the characteristic formulae, are ...
Fábregas Alfaro, Ignacio +4 more
core +1 more source