Results 21 to 30 of about 16,698 (215)
Differential-algebraic Dynamic Logic for Differential-algebraic Programs [PDF]
Journal of Logic and Computation, 2008 We generalize dynamic logic to a logic for differential-algebraic (DA) programs, i.e. discrete programs augmented with first-order differential-algebraic formulas as continuous evolution constraints in addition to first-order discrete jump formulas. These programs characterize interacting discrete and continuous dynamics of hybrid systems elegantly and
openaire +1 more source
Журнал Белорусского государственного университета: Математика, информатика, 2022 Herein, we investigate systems of non-autonomous differential equations with generalised coefficients using the algebra of new generalised functions. We consider a system of non-autonomous differential equations with generalised coefficients as a system ...
Anastasia I. Zhuk, Helena N. Zashchuk
doaj +1 more source
Uniqueness of A-infinity structures and Hochschild cohomology [PDF]
, 2011 Working over a commutative ground ring, we establish a Hochschild cohomology criterion for uniqueness of derived A-infinity algebra structures in the sense of Sagave.
Whitehouse, Sarah +5 more
core +1 more source
Douglas' Factorization Theorem and Atomic System in Hilbert Pro-$C^{\ast}$-Modules [PDF]
Sahand Communications in Mathematical AnalysisIn the present paper, we introduce the generalized inverse operators, which have an exciting role in operator theory. We establish Douglas' factorization theorem type for the Hilbert pro-$C^{\ast}$-module.We introduce the notion of atomic system and ...
Mohamed Rossafi +2 more
doaj +1 more source
Lie Symmetry Analysis of C1m,a,b Partial Differential Equations
Advances in Mathematical Physics, 2021 In this article, we discussed the Lie symmetry analysis of C1m,a,b fractional and integer order differential equations. The symmetry algebra of both differential equations is obtained and utilized to find the similarity reductions, invariant solutions ...
Hengtai Wang +2 more
doaj +1 more source
Mathematics, 2022 This paper mainly considers a class of non-weight modules over the Lie algebra of the Weyl type. First, we construct the U(h)-free modules of rank one over the differential operator algebra.
Munayim Dilxat +3 more
doaj +1 more source
Hopf Differential Graded Galois Extensions
, 2022 We introduce the concept of Hopf dg Galois extensions. For a finite dimensional semisimple Hopf algebra H and an H-module dg algebra R, we show that D(R#H)≅D(RH) is equivalent to that R/RH is a Hopf differential graded Galois extension. We present a
Bo-Ye Zhang
core +1 more source
Poisson algebras via model theory and differential-algebraic geometry [PDF]
, 2017 Brown and Gordon asked whether the Poisson Dixmier–Moeglin equivalence holds for any complex affine Poisson algebra, that is, whether the sets of Poisson rational ideals, Poisson primitive ideals, and Poisson locally closed ideals coincide.
Moosa, Rahim +8 more
core +1 more source
On differential approximations of difference schemes [PDF]
Известия Саратовского университета. Новая серия: Математика. Механика. Информатика, 2021 The concept of the first differential approximation was introduced in the 1950s for the analysis of difference schemes by A. I. Zhukov and then was used to study the quality of difference schemes approximating equations in partial derivatives.
Blinkov, Yuri Anatolievich +2 more
doaj +1 more source
Combinatorial differential algebra of x
Journal of Symbolic Computation, 2023 We link $n$-jets of the affine monomial scheme defined by $x^p$ to the stable set polytope of some perfect graph. We prove that, as $p$ varies, the dimension of the coordinate ring of a certain subscheme of the scheme of $n$-jets as a $\mathbb{C}$-vector space is a polynomial of degree $n+1$, namely the Ehrhart polynomial of the stable set polytope of ...
Rida Ait El Manssour +1 more
openaire +3 more sources