Results 41 to 50 of about 1,183,168 (293)
Mathematical Structures in Computer ScienceAbstractWe present our library for universal algebra in the UniMath framework dealing with multi-sorted signatures, their algebras and the basics for equation systems. We show how to implement term algebras over a signature without resorting to general inductive constructions (currently not allowed in UniMath) still retaining the computational nature ...
Gianluca Amato +3 more
openaire +5 more sources
Linear Algebra and Smarandache Linear Algebra [PDF]
, 2003 The present book, on Smarandache linear algebra, not only studies the Smarandache analogues of linear algebra and its applications, it also aims to bridge the need for new research topics pertaining to linear algebra, purely in the algebraic sense.
Vasantha, Kandasamy
core +1 more source
Towards higher-spin holography in flat space
Journal of High Energy Physics, 2023 We study the chiral flat space higher-spin algebra, which is the global symmetry algebra of the chiral higher-spin theory in the 4d Minkowski space. We find that it can be constructed as the universal enveloping algebra of a certain chiral deformation of
Dmitry Ponomarev
doaj +1 more source
Homological Algebra for Superalgebras of Differentiable Functions [PDF]
, 2012 This is the second in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we extend the classical notion of a dg-algebra to define, in
Sub Algebra,Geometry&Mathem. Logic begr. +2 more
core +1 more source
The Universal Askey-Wilson Algebra and DAHA of Type (C_1^∨,C_1)
Symmetry, Integrability and Geometry: Methods and Applications, 2013 Around 1992 A. Zhedanov introduced the Askey-Wilson algebra AW(3). Recently we introduced a central extension $Delta_q$ of AW(3) called the universal Askey-Wilson algebra.
Paul Terwilliger
doaj +1 more source
ON AUTOMORPHISMS OF CATEGORIES OF UNIVERSAL ALGEBRAS
International Journal of Algebra and Computation, 2007 Let [Formula: see text] be a variety of universal algebras. We suggest an approach for describing automorphisms of a category [Formula: see text] of free [Formula: see text]-algebras. In particular, this approach allows us to answer the question: is an automorphism of such a category inner?
Boris I. Plotkin, Grigori Zhitomirski
openaire +4 more sources
Modularizing the Elimination of r=0 in Kleene Algebra [PDF]
Logical Methods in Computer Science, 2005 Given a universal Horn formula of Kleene algebra with hypotheses of the form r = 0, it is already known that we can efficiently construct an equation which is valid if and only if the Horn formula is valid. This is an example of elimination of hypotheses,
Christopher Hardin
doaj +1 more source
Organic Materials of Tomorrow: Horizons of Artificial Intelligence
Advanced Materials, EarlyView.This review examines machine learning techniques accelerating the discovery of organic semiconductors by linking molecular structure to properties. Key methods include graph neural networks, generative models, and active learning. Applications to organic photovoltaics demonstrate practical impact.
Harold Mena +3 more
wiley +1 more source
Strong Tolerance and Strong Universality of Interval Eigenvectors in a Max-Łukasiewicz Algebra
Mathematics, 2020 The Łukasiewicz conjunction (sometimes also considered to be a logic of absolute comparison), which is used in multivalued logic and in fuzzy set theory, is one of the most important t-norms.
Martin Gavalec +2 more
doaj +1 more source
The Weil algebra and the Van Est isomorphism [PDF]
, 2011 This paper belongs to a series of papers devoted to the study of the cohomology of classifying spaces. Generalizing the Weil algebra of a Lie algebra and Kalkman’s BRST model, here we introduce the Weil algebra W(A) associated to any Lie algebroid A.
Marius Crainic +9 more
core +2 more sources