Results 1 to 10 of about 4,773 (67)

Extended BCK-Ideal Based on Single-Valued Neutrosophic Hyper BCK-Ideals

Bulletin of the Section of Logic, 2023
This paper introduces the concept of single-valued neutrosophic hyper \(BCK\)-subalgebras as a generalization and alternative of hyper \(BCK\)-algebras and on any given nonempty set constructs at least one single-valued neutrosophic hyper \(BCK ...
Mohammad Hamidi
doaj   +2 more sources

Hesitant Fuzzy Subalgebras, Ideals and Congruences on Autometrized Algebras [version 2; peer review: 2 approved, 1 approved with reservations] [PDF]

F1000Research
This paper introduces the study of hesitant fuzzy subalgebras of autometrized algebras, obtains some of their properties, and gives some examples. Next, we introduce the concept of the hesitant fuzzy ideal and examine some of its properties.
Gebrie Yeshiwas Tilahun
doaj   +2 more sources

ON MODULAR CORRESPONDENCES FOR SP(N, Z) AND THEIR CONGRUENCE RELATIONS

Proceedings of the National Academy of Sciences of the United States of America, 1963
Goro Shimura, Shimura Goro
exaly   +2 more sources

Commutative subalgebras from Serre relations [PDF]

Physics Letters B, 2023
We demonstrate that commutativity of numerous one-dimensional subalgebras in $W_{1+\infty}$ algebra, i.e. the existence of many non-trivial integrable systems described in recent arXiv:2303.05273 follows from the subset of relations in algebra known as ...
A. Mironov, V. Mishnyakov, A. Morozov, A. Popolitov   +3 more
semanticscholar   +1 more source

Congruence relations for r-colored partitions [PDF]

Journal of Number Theory, 2022
Let $\ell \geq 5$ be prime. For the partition function $p(n)$ and $5 \leq \ell \leq 31$, Atkin found a number of examples of primes $Q \geq 5$ such that there exist congruences of the form $p(\ell Q^{3} n+\beta) \equiv 0 \pmod{\ell}.$ Recently, Ahlgren ...
Robert Dicks
semanticscholar   +1 more source

Congruence Relations for Büchi Automata [PDF]

World Congress on Formal Methods, 2021
We revisit here congruence relations for B\"uchi automata, which play a central role in the automata-based verification. The size of the classical congruence relation is in $3^{\mathcal{O}(n^2)}$, where $n$ is the number of states of a given B\"uchi ...
Yong Li, Yih-Kuen Tsay, M. Vardi
semanticscholar   +1 more source

Defining relations of quantum symmetric pair coideal subalgebras [PDF]

Forum of Mathematics, Sigma, 2021
We explicitly determine the defining relations of all quantum symmetric pair coideal subalgebras of quantised enveloping algebras of Kac–Moody type. Our methods are based on star products on noncommutative ${\mathbb N}$-graded algebras.
S. Kolb, M. Yakimov
semanticscholar   +1 more source

Scalable monoids and quantity calculus

Semigroup Forum, 2023
We define scalable monoids and prove their fundamental properties. Congruence relations on scalable monoids, direct and tensor products, subalgebras and homomorphic images of scalable monoids, and unit elements of scalable monoids are defined and ...
D. Jónsson
semanticscholar   +1 more source

The Complexity of Reasoning about Spatial Congruence [PDF]

Journal of Artificial Intelligence Research, 1999
In the recent literature of Artificial Intelligence, an intensive research effort has been spent, for various algebras of qualitative relations used in the representation of temporal and spatial knowledge, on the problem of classifying the computational ...
M. Cristani
semanticscholar   +1 more source

Using congruence relations to extract knowledge from concept lattices

Discrete Applied Mathematics, 2016
It is well-known inside the Formal Concept Analysis (FCA) community that a concept lattice could have an exponential size with respect to the input data. Hence, the size of concept lattices is a critical issue in large real-life data sets. In this paper,
Jean-François Viaud, K. Bertet, R. Missaoui, C. Demko   +3 more
semanticscholar   +1 more source