Correspondence: gaoyingimu@163. com Department of Mathematics, Chongqing Normal University, Chongqing 400047, China Abstract In this paper, a pair of nondifferentiable multiobjective fractional programming problems is formulated. For a differentiable function, we introduce the definition of higher-order (F, a, r, d)-convexity, which extends some kinds of generalized convexity, such as second or...

State-of-the-art first-order automated theorem proving systems have reached considerable strength over recent years. However, in many areas of mathematics they are still a long way from reliably proving theorems that would be considered relatively simple by humans. For example, when reasoning about sets, relations, or functions, first-order systems still exhibit serious weaknesses. While it has...

In this article we discuss a combination between fourth-order finite difference methods and fourth-order splitting methods for 2D parabolic problems with mixed derivatives. The finite difference methods are based on higher-order spatial discretization methods, whereas the timediscretization methods are higher-order discretizations using CrankNicolson or BDF methods. The splitting methods are hi...

This paper presents two views of stepwise enhancement, one a pragmatic syntax-based approach and the other a semantic approach based on higher-order functions and relating to shape and polytypism. The approaches are outlined, and the perhaps surprisingly close relationship between the two described. By combining the advantages of both approaches, it is shown how more code in both functional and...

We present a new class of adaptivity algorithms for time-dependent partial differential equations (PDE) that combines adaptive higher-order finite elements (hp-FEM) in space with arbitrary (embedded, higher-order, implicit) Runge-Kutta methods in time. Weak formulation is only created for the stationary residual of the equation, and the Runge-Kutta method is supplied via its Butcher’s table. Ar...

We derive from first principles equations governing (a) the quadrupole tensor of a star distorted by both rotation and the presence of a companion in a possibly eccentric orbit, (b) a functional form for the dissipative force of tidal friction, based on the concept that the rate of energy loss from a time-dependent tide should be a positive-definite function of the rate of change of the quadrup...