Results 11 to 20 of about 4,530,915 (292)
Disjunctive form and the modal μ alternation hierarchy [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 This paper studies the relationship between disjunctive form, a syntactic normal form for the modal mu calculus, and the alternation hierarchy. First it shows that all disjunctive formulas which have equivalent tableau have the same syntactic alternation
Karoliina Lehtinen
doaj +6 more sources
The Einstein 3-form G_a and its equivalent 1-form L_a in Riemann-Cartan space [PDF]
, 2000 The definition of the Einstein 3-form G_a is motivated by means of the contracted 2nd Bianchi identity. This definition involves at first the complete curvature 2-form. The 1-form L_a is defined via G_a = L^b \wedge #(o_b \wedge o_a).
A. Trautman +10 more
core +2 more sources
On a new Hardy-Mulholland-type inequality and its more accurate form
Journal of Inequalities and Applications, 2016 Using weight coefficients and applying the well-known Hermite-Hadamard inequality, a new Hardy-Mulholand-type inequality with a best possible constant factor is given.
Aihua Li, Bicheng Yang, Leping He
doaj +1 more source
An Equivalent Linear Programming Form of General Linear Fractional Programming: A Duality Approach
Mathematics, 2021 Linear fractional programming has been an important planning tool for the past four decades. The main contribution of this study is to show, under some assumptions, for a linear programming problem, that there are two different dual problems (one linear ...
Mehdi Toloo
doaj +1 more source
Forms Equivalent to Curvatures
Revista Matemática Iberoamericana, 1986 The 2-forms, \Omega and \Omega ' on a manifold M with values in vector bundles
Porta, Horacio, Recht, Lázaro
openaire +3 more sources
On a more accurate Hardy-Mulholland-type inequality
Journal of Inequalities and Applications, 2016 By using weight coefficients, technique of real analysis, and Hermite-Hadamard’s inequality, we give a more accurate Hardy-Mulholland-type inequality with multiparameters and a best possible constant factor related to the beta function.
Bicheng Yang, Qiang Chen
doaj +1 more source
The Fundamental Lepage Form in Two Independent Variables: A Generalization Using Order-Reducibility
Mathematics, 2022 A second-order generalization of the fundamental Lepage form of geometric calculus of variations over fibered manifolds with 2-dimensional base is described by means of insisting on (i) an equivalence relation “Lepage differential 2-form is closed if and
Zbyněk Urban, Jana Volná
doaj +1 more source
On Hardy-type integral inequalities with the gamma function
Journal of Inequalities and Applications, 2017 By means of real analysis and weight functions, we obtain a few equivalent conditions of two kinds of Hardy-type integral inequalities with the non-homogeneous kernel and parameters. The constant factors related to the gamma function are proved to be the
Jianquan Liao, Bicheng Yang
doaj +1 more source
Isomorphism, form equivalence and sequence equivalence of PD0L forms
Theoretical Computer Science, 1978 AbstractIt is shown that if two PD0L forms F1 and F2 are form equivalent, i.e., generate the same family of languages, then the PD0L sequences E(F1) and E(F2) are isomorphic, provided one of the sequences contains a word of length greater than one. This result leads to a simple algorithm of deciding the form equivalence of two PD0L forms F1 and F2 ...
Čulik, K. +4 more
openaire +1 more source
New half-discrete Hilbert inequalities for three variables
Journal of Inequalities and Applications, 2018 In this paper, we obtain two new half-discrete Hilbert inequalities for three variables. The obtained inequalities are with the best constant factor. Moreover, we give their equivalent forms.
Tserendorj Batbold, Laith E. Azar
doaj +1 more source