Matrix Tensor Notation Part II. Skew and curved coordinates
نویسندگان
چکیده
منابع مشابه
Asymptotic Notation. Part II: Examples and Problems
The widely used textbook by Brassard and Bratley [2] includes a chapter devoted to asymptotic notation (Chapter 3, pp. 79–97). We have attempted to test how suitable the current version of Mizar is for recording this type of material in its entirety. This article is a follow-up to [11] in which we introduced the basic notions and general theory. This article presents a Mizar formalization of ex...
متن کاملAsymptotic Notation . Part II : Examples and Problems 1
The widely used textbook by Brassard and Bratley [4] includes a chapter devoted to asymptotic notation (Chapter 3, pp. 79–97). We have attempted to test how suitable the current version of Mizar is for recording this type of material in its entirety. This article is a follow-up to [13] in which we introduced the basic notions and general theory. This article presents a Mizar formalization of ex...
متن کاملskew randi'c matrix and skew randi'c energy
let $g$ be a simple graph with an orientation $sigma$, which assigns to each edge a direction so that $g^sigma$ becomes a directed graph. $g$ is said to be the underlying graph of the directed graph $g^sigma$. in this paper, we define a weighted skew adjacency matrix with rand'c weight, the skew randi'c matrix ${bf r_s}(g^sigma)$, of $g^sigma$ as the real skew symmetric mat...
متن کاملScalar and Tensor Parameters for Importing Tensor Index Notation including Einstein Summation Notation
In this paper, we import tensor index notation including Einstein summation notation into programming by introducing two kinds of functions, tensor functions and scalar functions. Tensor functions are functions that contract the tensors given as an argument, and scalar functions are the others. As with ordinary functions, when a tensor function obtains a tensor as an argument, the tensor functi...
متن کاملExcursions in Computing Science: Book 11c. Geometry and Gravity Part I. Fields, Complementary Coordinates, Curved Space
I. Prefatory Notes 1. Fields and slopes. A function of two variables is called a “field” by the physicists, maybe because it might be describing a topography in which the height of the surface above, say sea level, is a function of two coordinates, say the longitude and latitude. To be precise, physics would call this a scalar field (because the height is a single number at each point) in two d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Mathematics with Applications
سال: 1995
ISSN: 0898-1221
DOI: 10.1016/0898-1221(95)00050-9