An application of Groebner bases to planarity of intersection of surfaces

In this paper we use Groebner bases theory in order to determine planarity of intersections of two algebraic surfaces in ${\bf R}^3$. We specially considered plane sections of certain type of conoid which has a cubic egg curve as one of the directrices. The paper investigates a possibility of conic plane sections of this type of conoid

A class of univalent functions with real coefficients

In this paper we study class $\mathcal{S}^+$ of univalent functions $f$ such that $\frac{z}{f(z)}$ has real and positive coefficients. For such functions we give estimates of the Fekete-Szeg\H{o} functional and sharp estimates of their initial coefficients and logarithmic coefficients. Also, we present necessary and sufficient conditions for $f\in \mathcal{S}^+$ to be starlike of order $1/2$

Hankel determinant for a class of analytic functions

Let $f$ be analutic in the unit disk $\mathbb D$ and normalized so that $f(z)=z+a_2z^2+a_3z^3+\cdots$. In this paper we give sharp bound of Hankel determinant of the second order for the class of analytic unctions satisfying $$\left|\arg \left[\left(\frac{z}{f(z)}\right)^{1+\alpha}f'(z) \right] \right|<\gamma\frac{\pi}{2} \quad\quad (z\in\mathbb D),$$ for $0<\alpha<1$ and $0<\gamma\leq1$

Categorified cyclic operads

In this paper, we introduce a notion of categorified cyclic operad for set-based cyclic operads with symmetries. Our categorification is obtained by relaxing defining axioms of cyclic operads to isomorphisms and by formulating coherence conditions for these isomorphisms. The coherence theorem that we prove has the form "all diagrams of canonical isomorphisms commute". Our coherence results come in two flavours, corresponding to the "entries-only" and "exchangeable-output" definitions of cyclic operads. Our proof of coherence in the entries-only style is of syntactic nature and relies on the coherence of categorified non-symmetric operads established by Do\v{s}en and Petri\'c. We obtain the coherence in the exchangeable-output style by "lifting" the equivalence between entries-only and exchangeable-output cyclic operads, set up by the second author. Finally, we show that a generalisation of the structure of profunctors of B\' enabou provides an example of categorified cyclic operad, and we exploit the coherence of categorified cyclic operads in proving that the Feynman category for cyclic operads, due to Kaufmann and Ward, admits an odd version.Comment: 57 page

EUROPEAN INTEGRATION AND BALKAN COUNTRIES

Integration of the European economies has affected and will continue to affect almost every aspect of both domestic and international affairs of Balkan countries. Growth of intra-European trade, massive international financial flows, and the activities of multinational corporations are tying national economies more tightly to one another, thus making integration an important feature of the EU. Almost all economists and other proponents of free markets believe that the EU promises a world of increasing prosperity and international cooperation for its members. Economists argue that no obstacles should be allowed to prevent the free flow of goods, services, and capital. Critics of integration on the other hand, foresee a very different future; they fear that increased trade, foreign investment, and financial flows are producing powerful negative consequences for their countries. Some people from the Western Europe believe that further integration lowers wages, causes unemployment, and has other serious harmful effects. Some of them are even more skeptical about economic integration.European Union, economic integration

Syntactic aspects of hypergraph polytopes

This paper introduces an inductively defined tree notation for all the faces of polytopes arising from a simplex by truncations. This notation allows us to view inclusion of faces as the process of contracting tree edges. Our notation instantiates to the well-known notations for the faces of associahedra and permutohedra. Various authors have independently introduced combinatorial tools for describing such polytopes. We build on the particular approach developed by Dosen and Petric, who used the formalism of hypergraphs to describe the interval of polytopes from the simplex to the permutohedron. This interval was further stretched by Petric to allow truncations of faces that are themselves obtained by truncations, and iteratively so. Our notation applies to all these polytopes. We illustrate this by showing that it instantiates to a notation for the faces of the permutohedron-based associahedra, that consists of parenthesised words with holes. Dosen and Petric have exhibited some families of hypergraph polytopes (associahedra, permutohedra, and hemiassociahedra) describing the coherences, and the coherences between coherences etc., arising by weakening sequential and parallel associativity of operadic composition. We complement their work with a criterion allowing us to recover the information whether edges of these "operadic polytopes" come from sequential, or from parallel associativity. We also give alternative proofs for some of the original results of Dosen and Petric.Comment: 42 pages, 4 figure

On the Extension of the Erdos-Mordell Type Inequalities

We discuss the extension of inequality R_A >= c/a * r_b + b/a * r_c to the plane of triangle ABC. Based on the obtained extension, in regard to all three vertices of the triangle, we get the extension of Erdos-Mordell inequality, and some inequalities of Erdos-Mordell type