Results 31 to 40 of about 1,767 (212)
The Structure of Semiconic Idempotent Commutative Residuated Lattices
MathematicsIn this paper, we study semiconic idempotent commutative residuated lattices. After giving some properties of such residuated lattices, we obtain a structure theorem for semiconic idempotent commutative residuated lattices. As an application, we make use
Wei Chen
doaj +1 more source
Symmetric Monoidal Structure with Local Character is a Property [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In previous work we proved that, for categories of free finite-dimensional modules over a commutative semiring, linear compact-closed symmetric monoidal structure is a property, rather than a structure.
Stefano Gogioso, Dan Marsden, Bob Coecke
doaj +1 more source
A note on a generalization of injective modules
Karpatsʹkì Matematičnì Publìkacìï, 2020 As a proper generalization of injective modules in term of supplements, we say that a module $M$ has the property (ME) if, whenever $M\subseteq N$, $M$ has a supplement $K$ in $N$, where $K$ has a mutual supplement in $N$. In this study, we obtain that $(
B.N. Türkmen, E. Türkmen
doaj +1 more source
The n-Generator Property for Commutative Rings [PDF]
Proceedings of the American Mathematical Society, 1973 Let D D be an integral domian with identity. If for some positive integer n n , each finitely generated ideal of D D has a basis of n n elements, then the integral closure of D D is a Prüfer domain.
openaire +1 more source
Математичні Студії, 2023 This paper deals with the following question: whether a ring of matrices or classes of matrices over an adequate ring or elementary divisor ring inherits the property of adequacy?
A. I. Gatalevych, V. P. Shchedryk
doaj +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Centrally Essential Rings and Semirings
Mathematics, 2022 This paper is a survey of results on centrally essential rings and semirings. A ring (respectively, semiring) is said to be centrally essential if it is either commutative or satisfies the property that for any non-central element a, there exist non-zero
Askar Tuganbaev
doaj +1 more source
Estimating the commuting cost and commuting time property price gradients [PDF]
Regional Science and Urban Economics, 2003 Abstract In this paper, we estimate the property price gradients in Hong Kong. We distinguish our effort from previous studies on the subject by directly measuring the economic distance, i.e., the monetary commuting cost and commuting time, instead of merely the physical distance.
Chan, AWH, Tse, CY
openaire +3 more sources
Advanced Intelligent Discovery, EarlyView.This study introduces FIRE‐GNN, a force‐informed, relaxed equivariant graph neural network for predicting surface work functions and cleavage energies from slab structures. By incorporating surface‐normal symmetry breaking and machine learning interatomic potential‐derived force information, the approach achieves state‐of‐the‐art accuracy and enables ...
Circe Hsu +5 more
wiley +1 more source
Advanced Intelligent Discovery, EarlyView.This article investigates how persistent homology, persistent Laplacians, and persistent commutative algebra reveal complementary geometric, topological, and algebraic invariants or signatures of real‐world data. By analyzing shapes, synthetic complexes, fullerenes, and biomolecules, the article shows how these mathematical frameworks enhance ...
Yiming Ren, Guo‐Wei Wei
wiley +1 more source