This review is devoted to the universal algebraic and geometric properties of the non-relativistic quantum current algebra symmetry and to their representations subject to applications in describing ...

In this paper, I use the research fixed point method to establish derivatives on fuzzy Banach algebras based on functional equations and Cauchy-Jensen functional inequalities with 3k-variables. These ...

Starting with conformally covariant correlation functions, a sequence of functional representations of the conformal algebra is constructed. A key step is the introduction of representations which ...

This module is unique in that it eschews the tactic-oriented style of traditional Coq developments. As pointed out by others, programs written in that style are brittle, hard to read, and generally ...

This library attempts to formalize the matrix-free implementation of linear algebra, where a matrix is represented as a linear map from one vector space to another. This is accomplished by ...

ABSTRACT: In this paper, we prove some results concerning the existence of solutions for some nonlinear functional-integral equations which contain various integral and functional equations that are ...

Abstract: An equivalence between logic algebra and functional dependencies shows that a functional dependency is implied by a set of functional dependencies if and only if its corresponding product ...

We present calculations of formation energies of defects in an ionic solid (Al(2)O(3)) extrapolated to the dilute limit, corresponding to a simulation cell of ...

Abstract: Hybrid and cyber-physical systems create synergy by combining digital modules with analog implementations of signal processing operations typically implemented in the digital domain. We ...