let $k$ be a field of characteristic$p>0$, $k[[x]]$, the ring of formal power series over $ k$,$k((x))$, the quotient field of $ k[[x]]$, and $ k(x)$ the fieldof rational functions over $k$. we shall give somecharacterizations of an algebraic function $fin k((x))$ over $k$.let $l$ be a field of characteristic zero. the power series $finl[[x]]$ is called differentially algebraic, if it satisfies...

Rewriting logic semantics (RLS) is a definitional framework in which a programming language is defined as a rewrite theory: the algebraic signature defines the program configurations, the equations define structural identities on configurations, and the rewrite rules define the irreversible computational steps. RLS language definitions are efficiently executable using conventional rewrite engin...

In this paper, we introduce the notions of matching BiHom-Rota-Baxter algebras, BiHom-(tri)dendriform BiHom-Zinbiel algebras and BiHom-pre-Lie algebras. Moreover, study properties relationships between categories these BiHom-algebraic structures.

to start with, having employed transformation wave, some nonlinear partial differential equations have been converted into an ode. then, using the infinite series method for equations with similar linear part, the researchers have earned the exact soliton solutions of the selected equations. it is required to state that the infinite series method is a well-organized method for obtaining exact s...

This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic specifications are particular first-order formulae with constrained algebraic structure, called patterns. Program configurations satisfy patterns iff they match their algebraic structure and satisfy their constraints. Using a sim...

The structure of the moduli space of N = 1 supersymmetric gauge theories is analyzed from an algebraic geometric viewpoint. The connection between the fundamental fields of the ultraviolet theory, and the gauge invariant composite fields of the infrared theory is explained in detail. The results are then used to prove an anomaly matching theorem. The theorem is used to study anomaly matching fo...

To start with, having employed transformation wave, some nonlinear partial differential equations have been converted into an ODE. Then, using the infinite series method for equations with similar linear part, the researchers have earned the exact soliton solutions of the selected equations. It is required to state that the infinite series method is a well-organized method for obtaining exact s...