Results 21 to 30 of about 432 (182)
Derivations on the matrix semirings of max-plus algebra [PDF]
Let $(S,\oplus,\otimes)$ be a matrix semiring of max-plus algebra with the addition operation $\oplus$ and the multiplication operation $\otimes$, where the set \( S \) consists of matrices constructed from real numbers together with the element negative
Suffi Nuralesa, Nikken Puspita
doaj +1 more source
Prime bi-interior ideals of Γ-semirings [PDF]
In this paper, we introduce the notion of prime bi-interior ideal, bi-interior ideal,strongly prime bi-interior ideal,semiprime strongly irreducible bi-interior ideal and irreducible bi-interior ideal.we study these ideals properties and relation between
Marapureddy Murali Krishna Rao
doaj +1 more source
Let \((S,+)\) be a semigroup and \(p>0\) an integer. If for any \(x\in S\) there exists some \(y\in S\) such that \(x+py+x=y\) and \(py+x+py=x\) then \((S,+)\) is called a \(p\)-semigroup. Near at hand examples are idempotent semigroups and groups which satisfy \(x+x=0\) for all \(x\in S\). A semiring \((S,+,\cdot)\) is called a \(p\)-semiring if \((S,+
Budimirovic, Branka +2 more
openaire +2 more sources
One of the most well-known induction principles in computer science<br />is the fixed point induction rule, or least pre-fixed point rule. Inductive <br />*-semirings are partially ordered semirings equipped with a star operation<br />satisfying the fixed point equation and the fixed point induction rule for<br />linear terms ...
Ésik, Zoltán, Kuich, Werner
openaire +2 more sources
Positivstellensätze for semirings
AbstractIn this paper we develop a number of results and notions concerning Positivstellensätze for semirings (preprimes) of commutative unital real algebras. First we reduce the Archimedean Positivstellensatz for semirings to the corresponding result for quadratic modules.
Schmüdgen, Konrad, Schötz, Matthias
openaire +2 more sources
Bi-Interior Ideals of Γ-Semirings
In this paper, as a further generalization of ideals, we introduce the notion of bi-interior ideal as a generalization of quasi ideal, bi-ideal and interior ideal of Γ-semiring and study the properties of bi-interior ideals of Γ-semiring.
Rao Marapureddy Murali Krishna +1 more
doaj +1 more source
PAWS: A Tool for the Analysis of Weighted Systems [PDF]
PAWS is a tool to analyse the behaviour of weighted automata and conditional transition systems. At its core PAWS is based on a generic implementation of algorithms for checking language equivalence in weighted automata and bisimulation in conditional ...
Barbara König +2 more
doaj +1 more source
*-μ-semirings and *-λ-semirings
AbstractWe introduce and study *-μ-semirings and *-λ-semirings which generalize inductive *-semirings and weak inductive *-semirings, respectively. Also, we discuss the semiring of formal power series with coefficients in such a semiring and prove that the semiring of formal power series with coefficients in a weak inductive *-semiring [μ-semiring, λ ...
Feng Feng 0003 +2 more
openaire +1 more source
Fuzzy soft k−ideals over semiring and fuzzy soft semiring homomorphism [PDF]
In this paper, we introduce the notion of fuzzy soft semirings, fuzzy soft ideals, fuzzy soft k− ideals , k−fuzzy soft ideals over semirings and fuzzy soft semiring homomorphism. We study some of their algebraical properties and properties of homomorphic
Marapureddy Murali Krishna Rao +1 more
doaj +1 more source
We investigate ideal-semisimple and congruence-semisimple semirings. We give several new characterizations of such semirings using e-projective and e-injective semimodules. We extend several characterizations of semisimple rings to (not necessarily subtractive) commutative semirings.
Abuhlail, Jawad Y. +1 more
openaire +2 more sources

