نتایج جستجو برای: algebraic matching

تعداد نتایج: 157812  

Journal: :algebraic structures and their applications 2014
habib sharif

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...

2009
Grigore Roşu Chucky Ellison Wolfram Schulte

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...

Journal: :Symmetry 2021

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.

Journal: :journal of sciences, islamic republic of iran 2015
a. aasaraai

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...

2010
Grigore Rosu Chucky Ellison Wolfram Schulte

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...

1997
Gustavo Dotti Aneesh V. Manohar

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...

A. Aasaraai

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...

Journal: :bulletin of the iranian mathematical society 2011
m. radjabalipour b. r. yahaghi

Journal: :Transactions of the Society of Instrument and Control Engineers 1998

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید