Results 21 to 30 of about 2,566,078 (299)
The Embedding Path Order for Lambda-Free Higher-Order Terms [PDF]
, 2020 The embedding path order, introduced in this article, is a variant of the recursive path order (RPO) for untyped λ-free higher-order terms (also called applicative first-order terms).
Bentkamp, Alexander; id_orcid +1 more
core +1 more source
A new mechanism for freezing extra dimensions with higher-order curvature terms
Physics Letters B, 2020 We construct a model of higher dimensional cosmology in which extra dimensions are frozen by virtue of the cubic-order Lovelock gravity throughout the cosmic history from inflation to the present with radiation and matter-dominated regimes in between.
Hiroaki W.H. Tahara +2 more
doaj +1 more source
A Comprehensive Study on the Zeros of the Two-Parameter Mittag-Leffler Function [PDF]
Sahand Communications in Mathematical AnalysisThe Mittag-Leffler function appears as an analytical solution of some fractional differential equations. The behavior of the zeros of the Mittag-Leffler function, especially their asymptotic distribution, plays a fundamental role in the study of ...
Farnoosh Abooali +1 more
doaj +1 more source
The Solution of a System of Higher-Order Difference Equations in Terms of Balancing Numbers
Pan-American Journal of Mathematics, 2023 In this paper, we are interested in the closed-form solution of the following system of nonlinear difference equations of higher order, un+1 = 1/34-vn-m , vn+1 = 1/34-un-m, n, m ∈ N0, and the initial values u-j and v-j , j∈{0, 1, ..., m} are real numbers
Ahmed Ghezal, Imane Zemmouri
doaj +1 more source
Large deflection analysis of frames by elements containing higher-order terms
Vietnam Journal of Mechanics, 2003 In this paper, the beam elements using higher-order terms for large deflection analysis of elastic frames are discussed. The elements based on the co-rotational method are derived using the strain energy and effective strains.
Nguyen Dinh Kien, Do Quoc Quang
doaj +1 more source
Querying and Merging Heterogeneous Data by Approximate Joins on Higher-Order Terms [PDF]
, 2008 Integrating heterogeneous data from sources as diverse as web pages, digital libraries, knowledge bases, the Semantic Web and databases is an open problem.
Price, S, Flach, PA
core +1 more source
Origin tracking for higher-order term rewriting systems [PDF]
, 1994 Origin Tracking is a technique which, in the framework of first-order term rewriting systems, establishes relations between each subterm t of a normal form and a set of subterms, the origins of t, in the initial term. Origin tracking is based on the notion of residuals.
Arie van Deursen, T. B. Dinesh
openaire +1 more source
Combinatorial approach of the category $\Theta_0$ of cubical pasting diagrams [PDF]
Categories and General Algebraic Structures with ApplicationsIn globular higher category theory the small category $\Theta_0$ of finite rooted trees plays an important role: for example the objects of $\Theta_0$ are the arities of the operations inside the free globular $\omega$-operad $\mathbb{B}^0$ of Batanin ...
Camell Kachour
doaj +1 more source
Проблемы анализа, 2023 The starting point in the theory of differential inequalities for polynomials is the book "Investigation of aqueous solutions by specific gravity" by D. I. Mendeleev. In this work, he dealt not only with chemical, but also mathematical problems.
E. G. Kompaneets, L. G. Zybina
doaj +1 more source
The Theory of Contexts for First Order and Higher Order Abstract Syntax [PDF]
, 2001 We present two case studies in formal reasoning about untyped λ-calculus in Coq, using both first-order and higher-order abstract syntax. In the first case, we prove the equivalence of three definitions of α-equivalence; in the second, we focus on ...
SCAGNETTO, Ivan +2 more
core +1 more source