Results 11 to 20 of about 3,158,775 (365)
Probabilistic Thread Algebra [PDF]
Scientific Annals of Computer Science, 2015 We add probabilistic features to basic thread algebra and its extensions with thread-service interaction and strategic interleaving. Here, threads represent the behaviours produced by instruction sequences under execution and services represent the ...
J.A. Bergstra, C.A. Middelburg
doaj +5 more sources
Symbolic powers of monomial ideals and vertex cover algebras [PDF]
, 2006 We introduce and study vertex cover algebras of weighted simplicial complexes. These algebras are special classes of symbolic Rees algebras. We show that symbolic Rees algebras of monomial ideals are finitely generated and that such an algebra is normal ...
Jürgen Herzog +2 more
openalex +6 more sources
The universal cover of an algebra without double bypass [PDF]
, 2005 Let A be a basic finite dimensional and connected algebra over an algebraically closed field k with zero characteristic. If the ordinary quiver of A has no double bypasses, we show that A admits a Galois covering which satisfies a universal property with
P. Meur
semanticscholar +5 more sources
On the Hilbert series of vertex cover algebras of Cohen-Macaulay bipartite graphs [PDF]
, 2009 We study the Hilbert function and the Hilbert series of the vertex cover algebra $A(G)$, where $G$ is a Cohen-Macaulay bipartite graph.Comment: 12 ...
Cristian Ion
openalex +7 more sources
Reticulation of Quasi-commutative Algebras [PDF]
Journal of Mahani Mathematical Research, 2023 The commutator theory, developed by Fresee and McKenzie in the framework of a congruence-modular variety $\mathcal{V}$, allows us to define the prime congruences of any algebra $A\in \mathcal{V}$ and the prime spectrum $Spec(A)$ of $A$.
G. Georgescu
doaj +1 more source
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics [PDF]
arXiv.org, 2023 We introduce ProofNet, a benchmark for autoformalization and formal proving of undergraduate-level mathematics. The ProofNet benchmarks consists of 371 examples, each consisting of a formal theorem statement in Lean 3, a natural language theorem ...
Zhangir Azerbayev +5 more
semanticscholar +1 more source
Spectral resolutions in effect algebras [PDF]
Quantum, 2022 Effect algebras were introduced as an abstract algebraic model for Hilbert space effects representing quantum mechanical measurements. We study additional structures on an effect algebra $E$ that enable us to define spectrality and spectral resolutions ...
Anna Jenčová, Sylvia Pulmannová
doaj +1 more source
Covering and gluing of algebras and differential algebras [PDF]
Journal of Geometry and Physics, 2000 Extending work of Budzynski and Kondracki, we investigate coverings and gluings of algebras and differential algebras. We describe in detail the gluing of two quantum discs along their classical subspace, giving a C*-algebra isomorphic to a certain Podles sphere, as well as the gluing of U_{\sqrt{q}}(sl_2)-covariant differential calculi on the discs.
R. Matthes, Dirk Calow
openaire +4 more sources
Mathematics, 2023 In this paper, a novel hyper-rectangle cover theory is developed. Two important concepts, the cover order and the cover length, are introduced. We construct a specific échelon form of the matrix in the same manner as that employed to determine the rank ...
Xiaoxuan Chu +3 more
doaj +1 more source
Schur covers of skew braces [PDF]
J. Algebra 644 (2024), 609-654, 2023 We develop the theory of Schur covers of finite skew braces. We prove the existence of at least one Schur cover. We also compute several examples. We prove that different Schur covers are isoclinic. Finally, we prove that Schur covers have the lifting property concerning projective representations of skew braces.
arxiv +1 more source