Results 21 to 30 of about 88,617 (232)
Twisted partial actions of Hopf algebras [PDF]
, 2011 In this work, the notion of a twisted partial Hopf action is introduced as a unified approach for twisted partial group actions, partial Hopf actions and twisted actions of Hopf algebras.
A. Paques +34 more
core +1 more source
Solving equations over small unary algebras [PDF]
Discrete Mathematics & Theoretical Computer Science, 2005 We consider the problem of solving a system of polynomial equations over fixed algebra $A$ which we call MPolSat($A$). We restrict ourselves to unary algebras and give a partial characterization of complexity of MPolSat($A$). We isolate a preorder $P(A)$
Przemyslaw Broniek
doaj +1 more source
Unbounded Conditional Expectations for Partial O∗-Algebras
International Journal of Mathematics and Mathematical Sciences, 2009 The main purpose of this paper is to generalize studies of unbounded conditional expectations for O∗-algebras to those for partial O∗-algebras.
Mayumi Takakura
doaj +1 more source
Pointers in Recursion: Exploring the Tropics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We translate the usual class of partial/primitive recursive functions to a pointer recursion framework, accessing actual input values via a pointer reading unit-cost function.
Paulin Jacobé de Naurois
doaj +1 more source
Representation theory of partial relation extensions [PDF]
, 2019 Let C be a finite dimensional algebra of global dimension at most two. A partial relation extension is any trivial extension of C by a direct summand of its relation C-C-bimodule.
Assem, Ibrahim +4 more
core +4 more sources
On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions
Моделирование и анализ информационных систем, 2020 Raphael Robinson showed that all primitive recursive functions depending on one argument, and only they could be obtained from two functions s(x) = x +1 and q(x) = x - [√x]² by using operations of addition +, superposition ∗ and iteration i.
Valery A. Sokolov
doaj +1 more source
Which Arithmetical Data Types Admit Fracterm Flattening?
Scientific Annals of Computer Science, 2022 The formal theory of division in arithmetical algebras reconstructs fractions as syntactic objects called fracterms. Basic to calculation, is the simplification of fracterms to fracterms with one division operator, a process called fracterm ...
Jan A. Bergstra, John V. Tucker
doaj +1 more source
Fully representable and *-semisimple topological partial *-algebras
, 2012 We continue our study of topological partial *-algebras, focusing our attention to *-semisimple partial *-algebras, that is, those that possess a {multiplication core} and sufficiently many *-representations.
Antoine, J-P. +2 more
core +1 more source
Bitraces on Partial O*-Algebras
International Journal of Mathematics and Mathematical Sciences, 2007 Unbounded bitraces on partial O*-algebras are considered, a class of ideals defined by them is exhibited, and several relationships between certain commutants, bicommutants, and tricommutants associated with the *-representations and ...
G. O. S. Ekhaguere
doaj +1 more source
Infinite-dimensional Categorical Quantum Mechanics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We use non-standard analysis to define a category *Hilb suitable for categorical quantum mechanics in arbitrary separable Hilbert spaces, and we show that standard bounded operators can be suitably embedded in it.
Stefano Gogioso, Fabrizio Genovese
doaj +1 more source