✦ LIBER ✦

A SECOND NORMAL FORM FOR FUNCTIONS OF THE SYSTEM EP

✍ Scribed by Rod McBeth

Publisher: John Wiley and Sons
Year: 1984
Tongue: English
Weight: 347 KB
Volume: 30
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19840302504

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Normal Form for Function Rings of Piec

A Normal Form for Function Rings of Piecewise Functions

✍ M. VON MOHRENSCHILDT 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 420 KB

Computer algebra systems often have to deal with piecewise continuous functions. These are, for example, the absolute value function, signum, piecewise defined functions but also functions that are the supremum or infimum of two functions. We present a new algebraic approach to these types of proble

Construction of Lyapunov Functions for N

Construction of Lyapunov Functions for Nonlinear Systems Using Normal Forms

✍ Carla A Schwartz; Aiguo Yan 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 191 KB

In 8 , the authors used normal form theory to construct Lyapunov functions for critical nonlinear systems in normal form coordinates. In this work, the authors expand on those ideas by providing a method for constructing the associated normal form transformations that gives rise to the systematic de

A NEW APPROACH FOR OBTAINING NORMAL FORM

A NEW APPROACH FOR OBTAINING NORMAL FORMS OF NON-LINEAR SYSTEMS

✍ W.Y. Zhang; K. Huseyin; Y.S. Chen 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 246 KB

In this paper, a modified approach for obtaining normal forms of non-linear dynamical systems is described. This approach provides a number of significant advantages over the existing normal form theory, and improves the associated calculations. A brief discussion concerning the application of the n

A proof of the normal form theorem for t

A proof of the normal form theorem for the closed terms of Girard's system F by means of computability

✍ Silvio Valentini 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 300 KB

## Abstract In this paper a proof of the normal form theorem for the closed terms of __Girard's system F__ is given by using a computability method à la Tait. It is worth noting that most of the standard consequences of the normal form theorem can be obtained using this version of the theorem as we

A Normal Form for a Class of Monoids Inc

A Normal Form for a Class of Monoids Including the Singular Braid Monoids

✍ Ruth Corran 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 188 KB

The first part of this paper investigates a class of homogeneously presented monoids. Constructions which enable division and multiplication to be computed are described. The word problem and the division problem are solved, and a unique normal form is given for monoids in this class. The second par

A Functional Form of the Isoperimetric I

A Functional Form of the Isoperimetric Inequality for the Gaussian Measure

✍ S. Bobkov 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 367 KB

Let g be a smooth function on R n with values in [0, 1]. Using the isoperimetric property of the Gaussian measure, it is proved that ,(8 &1 (Eg))&E,(8 &1 ( g)) E |{g|. Conversely, this inequality implies the isoperimetric property of the Gaussian measure.