The TTE approach to Computable Analysis is the study of so-called representations (encodings for continuous objects such as reals, functions, and sets) with respect to the notions of computability they induce. A rich variety of such representations had been devised over the past decades, particularly regarding closed subsets of Euclidean space plus subclasses thereof (like compact subsets). In ...

A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifications, programs, computations, and program correctness. A necessary and sufficient condition for program correctness on this class of computation models is established. Application of the framework is demonstrated by formalizing a...

The subject of the paper is geometry and topology cosmological spacetimes vector bundles thereon, which are used to model physical fields propagating in universe. Global hyperbolicity factorization properties spacetime bundle that usually independently assumed hold, now derived from a minimal set assumptions based on recent progress differential topology.

In this work, various fractional convex inequalities of the Hermite–Hadamard type in interval analysis setting have been established, and new derived thereon. Recently defined p interval-valued convexity is utilized to obtain many inequalities. The results supplemented with suitable numerical examples. Our generalize some recently reported literature.