Results 21 to 30 of about 19,352 (312)
The Range of a Module Measure Defined on an Effect Algebra [PDF]
, 2022 Effect algebras are the main object of study in quantum mechanics. Module measures are those measures defined on an effect algebra with values on a topological module. Let R be a topological ring and M a topological R-module.
García Pacheco, Francisco Javier +1 more
core +1 more source
Fuzzy Fixed Point Results in Convex C∗-Algebra-Valued Metric Spaces
Journal of Function Spaces, 2022 The purpose of this note is to come up with some new directions in fuzzy fixed point theory. To this effect, notions of a C∗-algebra-valued fuzzy λ-contraction and related concepts in a convex C∗-algebra-valued metric space (C∗-AVMS) are set-up.
Mohammed Shehu Shagari +3 more
doaj +1 more source
Local algebraic effect theories [PDF]
Journal of Functional Programming, 2020 Abstract Algebraic effects are computational effects that can be described with a set of basic operations and equations between them. As many interesting effect handlers do not respect these equations, most approaches assume a trivial theory, sacrificing both reasoning power and safety.
Ziga Luksic, Matija Pretnar
openaire +2 more sources
Encouraging versatile thinking in algebra using the computer [PDF]
, 1991 In this article we formulate and analyse some of the obstacles to understanding the notion of a variable, and the use and meaning of algebraic notation, and report empirical evidence to support the hypothesis that an approach using the computer will be ...
Michael Thomas +3 more
core +1 more source
Usage of computer algebra in teaching process
Lietuvos Matematikos Rinkinys, 1998 This work was intended to motivate the necessity of intensive training of mathematics utilising the computer algebra MAPLE in Lithuanian Military Academy.
Aleksas Domarkas +4 more
doaj +3 more sources
Handling Algebraic Effects [PDF]
Logical Methods in Computer Science, 2013 Algebraic effects are computational effects that can be represented by an equational theory whose operations produce the effects at hand. The free model of this theory induces the expected computational monad for the corresponding effect. Algebraic effects include exceptions, state, nondeterminism, interactive input/output, and time, and their ...
Gordon D. Plotkin, Matija Pretnar
openaire +4 more sources
Radical Young's Diagrams Core [PDF]
مجلة التربية والعلم, 2011 : This is research is basically deals with the representation theory that is specifically on Hecke algebra and q-Schur algebra, where β-numbers of a partition has sufficient effect in both types of algebra.
Ammar S. Mahmood Hanan S. Mohammed
doaj +1 more source
Every uniformly Archimedean atomic MV-effect algebra is sharply dominating [PDF]
, 2010 summary:Following the study of sharp domination in effect algebras, in particular, in atomic Archimedean MV-effect algebras it is proved that if an atomic MV-effect algebra is uniformly Archimedean then it is sharply ...
Olejček, Vladimír
core +1 more source
Adequacy for Algebraic Effects [PDF]
, 2001 Moggi proposed a monadic account of computational effects. He also presented the computational λ-calculus, λc, a core call-by-value functional programming language for effects; the effects are obtained by adding appropriate operations. The question arises as to whether one can give a corresponding treatment of operational semantics.
Gordon D. Plotkin, John Power
openaire +2 more sources
Cohomology of Effect Algebras [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In Proceedings QPL 2016, arXiv:1701 ...
openaire +3 more sources