Results 1 to 10 of about 16,007 (117)

A converse of Sturm's separation theorem

Electronic Journal of Qualitative Theory of Differential Equations, 2021
We show that Sturm's classical separation theorem on the interlacing of the zeros of linearly independent solutions of real second order two-term ordinary differential equations necessarily fails in the presence of a turning point in the principal part ...
Leila Gholizadeh, Angelo Mingarelli
doaj   +1 more source

A new discrete theory of pseudoconvexity [PDF]

Discrete Mathematics & Theoretical Computer Science, 2023
Recently geometric hypergraphs that can be defined by intersections of pseudohalfplanes with a finite point set were defined in a purely combinatorial way.
Balázs Keszegh
doaj   +1 more source

Separation for dot-depth two [PDF]

Logical Methods in Computer Science, 2021
The dot-depth hierarchy of Brzozowski and Cohen classifies the star-free languages of finite words. By a theorem of McNaughton and Papert, these are also the first-order definable languages.
Thomas Place, Marc Zeitoun
doaj   +1 more source

Separation Property for wB- and wS-regular Languages [PDF]

Logical Methods in Computer Science, 2014
In this paper we show that {\omega}B- and {\omega}S-regular languages satisfy the following separation-type theorem If L1,L2 are disjoint languages of {\omega}-words both recognised by {\omega}B- (resp.
Michał Skrzypczak
doaj   +1 more source

On a Separation Theorem for Delta-Convex Functions

Annales Mathematicae Silesianae, 2020
In the present paper we establish necessary and sufficient conditions under which two functions can be separated by a delta-convex function. This separation will be understood as a separation with respect to the partial order generated by the Lorentz ...
Olbryś Andrzej
doaj   +1 more source

Locally convexified rigid tube MPC

IET Control Theory & Applications, 2023
This paper proposes a locally convexified rigid tube model predictive control for obstacle avoidance for linear, discrete‐time, systems subject to additive, bounded disturbances and state and control constraints.
Haidi Sun, Sixing Zhang, Li Dai, Saša V. Raković   +3 more
doaj   +1 more source

Farm Operating Risk and Cash Rent Determination

Journal of Agricultural and Resource Economics, 1992
This article examines farm operating risks and cash-rent determination through the use of the efficient set mathematics. The efficient set mathematics proves to be a pragmatic approach to characterizing operating risks, and the relationships between ...
Calum G. Turvey, Timothy G. Baker, Alfons Weersink   +2 more
doaj   +1 more source

Remarks on Separation of Convex Sets, Fixed-Point Theorem, and Applications in Theory of Linear Operators

Fixed Point Theory and Applications, 2007
Some properties of the linear continuous operator and separation of convex subsets are investigated in this paper and a dual space for a subspace of a reflexive Banach space with a strictly convex norm is constructed.
Kamal N. Soltanov
doaj   +2 more sources

AN ANALOGY OF HAHN–BANACH SEPARATION THEOREM FOR NEARLY TOPOLOGICAL LINEAR SPACES

Ural Mathematical Journal, 2021
In this paper, we introduce the notion of nearly topological linear spaces and use it to formulate an alternative definition of the Hahn–Banach separation theorem. We also give an example of a topological linear space to which the result is not valid. It
Madhu Ram
doaj   +1 more source

Simplification Method for Contradiction Separation Clause in First-order Logic AutomatedTheorem Prover CSE [PDF]

Jisuanji kexue
First-order logic automated theorem proving has the capacity to resolve a multitude of practical problems after formalization,and thus holds considerable practical value.As an advancement in automated theorem proving,contradiction separation deduction ...
WU Xin, CHEN Shuwei, JIANG Shipan
doaj   +1 more source