Results 51 to 60 of about 3,158,775 (365)
Between the enhanced power graph and the commuting graph
Journal of Graph Theory, Volume 102, Issue 2, Page 295-303, February 2023., 2023 Abstract The purpose of this note is to define a graph whose vertex set is a finite group G $G$, whose edge set is contained in that of the commuting graph of G $G$ and contains the enhanced power graph of G $G$. We call this graph the deep commuting graph of G $G$.
Peter J. Cameron, Bojan Kuzma
wiley +1 more source
, 2012 Synopsis The main subject of this course are group actions on algebraic varieties and their invariants. The first part of the course will be devoted to the case of finite groups.
Graham J. Leuschke, Roger Wiegand
semanticscholar +1 more source
Size Bounds and Query Plans for Relational Joins [PDF]
2008 49th Annual IEEE Symposium on Foundations of Computer Science, 2008 Relational joins are at the core of relational algebra, which in turn is the core of the standard database query language SQL. As their evaluation is expensive and very often dominated by the output size, it is an important task for database query ...
Albert Atserias, Martin Grohe, D. Marx
semanticscholar +1 more source
On the classification of quantum W-algebras
, 1991 In this paper we consider the structure of general quantum W-algebras. We introduce the notions of deformability, positive-definiteness, and reductivity of a W-algebra.
Bowcock, P., Watts, G
core +2 more sources
A Survey of Satisfiability Modulo Theory [PDF]
, 2016 Satisfiability modulo theory (SMT) consists in testing the satisfiability of first-order formulas over linear integer or real arithmetic, or other theories.
A Albarghouthi +37 more
core +2 more sources
Vector fields on nonorientable surfaces
International Journal of Mathematics and Mathematical Sciences, 2003 A one-to-one correspondence is established between the germs of functions and tangent vectors on a NOS X and the bi-germs of functions, respectively, elementary fields of tangent vectors (EFTV) on the orientable double cover of X.
Ilie Barza, Dorin Ghisa
doaj +1 more source
𝐶*-algebras associated with branched coverings [PDF]
Proceedings of the American Mathematical Society, 2000 In this note we analyze the C ∗ C^{\ast } -algebra associated with a branched covering both as a groupoid C ∗ C^{\ast } -algebra and as a Cuntz-Pimsner algebra. We determine conditions when the algebra is simple and purely infinite.
Valentin Deaconu, Paul S. Muhly
openaire +3 more sources
The derived category of a non generic cubic fourfold containing a plane
, 2017 We describe an Azumaya algebra on the resolution of singularities of the double cover of a plane ramified along a nodal sextic associated to a non generic cubic fourfold containing a plane.
Moschetti, Riccardo
core +1 more source
Computation of highly ramified coverings [PDF]
Mathematics of Computation, Vol 78 (Oct 2009), pg. 2371-2395, 2007 An almost Belyi covering is an algebraic covering of the projective line, such that all ramified points except one simple ramified point lie above a set of 3 points of the projective line. In general, there are 1-dimensional families of these coverings with a fixed ramification pattern.
arxiv +1 more source
Cover semantics for quantified lax logic
Journal of Logic and Computation, 2011 Lax modalities occur in intuitionistic logics concerned with hardware verification, the computational lambda calculus and access control in secure systems. They also encapsulate the logic of Lawvere–Tierney–Grothendieck topologies on topoi.
R. Goldblatt
semanticscholar +1 more source