Results 21 to 30 of about 4,125 (289)
On Interval Soft Sets with Applications [PDF]
International Journal of Computational Intelligence Systems, 2014 Interval set theory and soft set theory are mathematical tools for dealing with uncertainty information. As a combination of interval set and soft set, recently, we introduced the new notion of interval soft sets.
Xiaohong Zhang
doaj +1 more source
A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Order-sorted algebras and many sorted algebras exist in a long history with many different implementations and applications. A lot of language specifications have been defined in order-sorted algebra frameworks such as the language specifications in K ...
Liyi Li, Elsa Gunter
doaj +1 more source
Bulletin of the Australian Mathematical Society, 1997 As part of an attempt to capture abstractly the most fundamental properties of algebraic reasoning involving equality, we introduce the notion of an equality algebra. It is a universal algebra A endowed with a binary function =iA × A → L, where L is a meet-semilattice with top element 1, called internalised equality, and satisfying, for all x, y ∈ A,1.
Fearnley-Sander, Desmond, Stokes, Tim
openaire +2 more sources
The cluster basis $\mathbb{Z}[x_{1,1},…,x_{3,3}] [PDF]
Discrete Mathematics & Theoretical Computer Science, 2008 We show that the set of cluster monomials for the cluster algebra of type $D_4$ contains a basis of the $\mathbb{Z}$-module $\mathbb{Z}[x_{1,1},\ldots ,x_{3,3}]$.
Mark Skandera
doaj +1 more source
Semiotic Examination of Algebra Teaching Process in the Context of Gestures
Anadolu Üniversitesi Eğitim Fakültesi dergisi, 2023 This research aims to examine the gestures used by teachers and students in the algebra learning-teaching process and the purpose of these signs. The participants of this case study are 25 eigth graders and their mathematics teacher.
Dilek Tanışlı, Şahin Danişman
doaj +1 more source
Polytypic Functions Over Nested Datatypes [PDF]
Discrete Mathematics & Theoretical Computer Science, 1999 The theory and practice of polytypic programming is intimately connected with the initial algebra semantics of datatypes. This is both a blessing and a curse. It is a blessing because the underlying theory is beautiful and well developed.
Ralf Hinze
doaj +3 more sources
Distribution of Eigenvalues and Upper Bounds of the Spread of Interval Matrices
Mathematics, 2023 The distribution of eigenvalues and the upper bounds for the spread of interval matrices are significant in various fields of mathematics and applied sciences, including linear algebra, numerical analysis, control theory, and combinatorial optimization ...
Wenshi Liao, Pujun Long
doaj +1 more source
A New Game Equivalence and its Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We revisit the crucial issue of natural game equivalences, and semantics of game logics based on these. We present reasons for investigating finer concepts of game equivalence than equality of standard powers, though staying short of modal bisimulation ...
Johan van Benthem +2 more
doaj +1 more source
European Physical Journal C: Particles and Fields, 2021 We study some aspects of a class of non-AdS holography where the 3D bulk gravity is given by generalized minimal massive gravity (GMMG). We consider the spacelike warped $$AdS_3$$ A d S 3 ( $$WAdS_3$$ W A d S 3 ) black hole solution of this model where ...
M. R. Setare, M. Koohgard
doaj +1 more source
Procedural embodiment and magic in linear equations [PDF]
, 2008 How do students think about algebra? Here we consider a theoretical framework which builds from natural human functioning in terms of embodiment – perceiving the world, acting on it and reflecting on the effect of the actions – to shift to the use of ...
Nogueira de Lima , Rosana, Tall, David
core +1 more source