Results 41 to 50 of about 2,942,043 (344)
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
Skeletons of Prym varieties and Brill--Noether theory
, 2021 We show that the non-Archimedean skeleton of the Prym variety associated to an unramified double cover of an algebraic curve is naturally isomorphic (as a principally polarized tropical abelian variety) to the tropical Prym variety of the associated ...
Len, Yoav, Ulirsch, Martin
core +1 more source
A Characterisation of Morita Algebras in Terms of Covers [PDF]
Algebras and Representation Theory, 2021 AbstractA pair (A, P) is called a cover of EndA(P)op if the Schur functor HomA(P,−) is fully faithful on the full subcategory of projective A-modules, for a given projective A-module P. By definition, Morita algebras are the covers of self-injective algebras and then P is a faithful projective-injective module.
openaire +5 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
Special triple covers of algebraic surfaces
Documenta Mathematica, 2022 We study special triple covers f:T\to S of algebraic surfaces, where the Tschirnhausen bundle \mathcal{E}=\left(f_*\mathcal{O}_T/\mathcal{O}_S\right)^\vee is a quotient of a split rank three vector bundle, and we provide several ...
Istrati, Nicolina +2 more
openaire +2 more sources
, 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
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
𝐶*-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
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