We prove that an iterated function system of similarities on $\mathbb{R}$ satisfies the weak separation condition and has interval as its self-similar set stronger generalized finite type condition. It is unknown if assumption necessary.

Coupled transformations occur in software evolution when multiple artifacts must be modified in such a way that they remain consistent with each other. An important example involves the coupled transformation of a data type, its instances, and the programs that consume or produce it. Previously, we have provided a formal treatment of transformation of the first two: data types and instances. Th...

in this paper boundedness and compactness of generalized composition oper-ators from logarithmic bloch type spaces to q_k type spaces are investigated.

Abstract In this paper, we obtain a new convergence theorem for fixed points of weak contractions in Branciari type generalized metric spaces under weaker conditions. The proof process the is and different from that other authors. An illustrative example to show how conditions extend known results.

We present an algorithm to determine the set of essential singular solutions of a differential equation. Essential singular solutions can be informally described as follows: the general solution of a differential equation is usually described as a solution depending on a number of arbitrary constants equal to the order of the differential equation. The essential singular solutions are those tha...

We study the Lüroth problem for partial differential fields. The main result is following analog of generalized Lüroth's theorem: Let F be a field characteristic 0 with m commuting derivation operators, u=u1,…,un set indeterminates over F. prove that an intermediate G between and F〈u〉 simple extension if only dimension polynomial u form ωu/G(t)=n(t+mm)−(t+m−sm) some s∈N. This generalizes classi...