Results 61 to 70 of about 396,927 (287)
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
gl3 ALGEBRA IN MIXED MATRIX REPRESENTATIONS
Acta PolytechnicaIt is demonstrated that the so-called mixed realization of the gl3 algebra generators in terms of matrix differential operators in two variables, as presented by Smirnov-Turbiner (2013), can be “lifted” into the action in the Fock space associated with ...
Alexander V. Turbiner
doaj +1 more source
Asymptotically Almost Periodic Generalized Ultradistributions and Application [PDF]
Sahand Communications in Mathematical AnalysisThe paper aims to introduce and study an algebra of asymptotically almost periodic generalized ultradistributions. These generalized ultradistributions contain asymptotically almost periodic ultradistributions and asymptotically almost periodic ...
Meryem Slimani, Fethia Ouikene
doaj +1 more source
On extension of the Yang-Baxter equation and the fermionic R-operator
Nuclear Physics B, 2023 We consider the fermionic R-operator based on Bazhanov-Stroganov's three-parameter elliptic parametrization of the free fermion model, and find the most general solution of the related tetrahedral Zamolodchikov algebra in the trigonometric limit for an ...
A. Melikyan
doaj +1 more source
DIFFERENCE INDICES OF QUASI-REGULAR DIFFERENCE ALGEBRAIC SYSTEMS
Journal of Mathematical Sciences: Advances and Applications, 2017 11 ...
openaire +2 more sources
Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement
Advanced Science, EarlyView.The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang +7 more
wiley +1 more source
The tetrahedral Zamolodchikov algebra for the fermionic Bazhanov-Stroganov R-operator
Physics Letters B, 2020 We find the fermionic R-operator based on Bazhanov-Stroganov three-parameter elliptic parametrization of the free fermion model, and the corresponding Yang-Baxter and decorated Yang-Baxter equations, which are of the difference type in one of the ...
A. Melikyan
doaj +1 more source
Difference indices of quasi-prime difference algebraic systems
Journal of Symbolic Computation, 2018 This paper is devoted to studying difference indices of quasi-prime difference algebraic systems. We define the quasi dimension polynomial of a quasi-prime difference algebraic system. Based on this, we give the definition of the difference index of a quasi-prime difference algebraic system through a family of pseudo-Jacobian matrices.
openaire +2 more sources
Mixed Algebraic-Exponential Interpolation Using Finite Differences [PDF]
Mathematics of Computation, 1967 The use of finite differences in exponential polyniomial interpolation was introduced in [1], where an algorithm was developed which triangularizes the system of equations that determines the coefficients in the interpolating exponential polynomial. In the present note we show that a similar finite-difference algorithm also exists for interpolation by ...
openaire +1 more source
Ordered Products, $W_{\infty}$-Algebra, and Two-Variable, Definite-Parity, Orthogonal Polynomials
, 1997 It has been shown that the Cartan subalgebra of $W_{\infty}$- algebra is the space of the two-variable, definite-parity polynomials. Explicit expressions of these polynomials, and their basic properties are presented.
Verçin, A.
core +1 more source