Results 21 to 30 of about 1,855,215 (295)
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 rewriting calculus for cyclic higher-order term graphs [PDF]
Mathematical Structures in Computer Science, 2005 The Rewriting Calculus (ρ-calculus, for short) was introduced at the end of the 1990s and fully integrates term-rewriting and λ-calculus. The rewrite rules, acting as elaborated abstractions, their application and the structured results obtained are first class objects of the calculus.
Bertolissi, Clara +3 more
openaire +6 more sources
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
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
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
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
Проблемы анализа, 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
Physics Letters B, 2023 Einsteinian cubic gravity is a higher-order gravitational theory in which the linearized field equations of motion match Einstein's equations on a maximally symmetric background.
Antonio De Felice, Shinji Tsujikawa
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