Results 1  10
of
8,529
The Euclidean space
 Journal of Formalized Mathematics
, 1991
"... Summary. The article contains definition of a compact space and some theorems about compact spaces. The notions of a cover of a set and a centered family are defined in the article to be used in these theorems. A set is compact in the topological space if and only if every open cover of the set has ..."
Abstract

Cited by 174 (1 self)
 Add to MetaCart
Summary. The article contains definition of a compact space and some theorems about compact spaces. The notions of a cover of a set and a centered family are defined in the article to be used in these theorems. A set is compact in the topological space if and only if every open cover of the set has
The Euclidean Space
, 1991
"... this paper. In this paper k, n are natural numbers and r is a real number. Let us consider n. The functor R ..."
Abstract

Cited by 83 (0 self)
 Add to MetaCart
this paper. In this paper k, n are natural numbers and r is a real number. Let us consider n. The functor R
The Euclidean Space
"... and [2] provide the notation and terminology for this paper. In the sequel k, n denote natural numbers and r denotes a real number. Let us consider n. The functor R n yields a nonempty set of finite sequences of � and is defined as follows: (Def.1) R n = � n. In the sequel x will denote a finite s ..."
Abstract
 Add to MetaCart
and [2] provide the notation and terminology for this paper. In the sequel k, n denote natural numbers and r denotes a real number. Let us consider n. The functor R n yields a nonempty set of finite sequences of � and is defined as follows: (Def.1) R n = � n. In the sequel x will denote a finite sequence of elements of �. The function  �  � from � into � is defined as follows: (Def.2) for every r holds  �  � (r) = r. Let us consider x. The functor x  yields a finite sequence of elements of � and is defined as follows: (Def.3) x  =  �  � · x. Let us consider n. The functor 〈0,...,0〉 yields a finite sequence of elements n of and is defined � by:
Euclidean spaces
, 2006
"... The geometry of a manifold is given by a metric, which defines a notion of distance between two points. Paths of shortest length connecting points are obtained as the critical curves of the functional variation of the integral defining arclength. Functional variation of this integral yields EulerLa ..."
Abstract
 Add to MetaCart
The geometry of a manifold is given by a metric, which defines a notion of distance between two points. Paths of shortest length connecting points are obtained as the critical curves of the functional variation of the integral defining arclength. Functional variation of this integral yields EulerLagrange equations which are a system of ordinary differential
Euclidean space
, 2008
"... Path integral treatment of a family of superintegrable systems in ndimensional ..."
Abstract
 Add to MetaCart
Path integral treatment of a family of superintegrable systems in ndimensional
Euclidean space
, 2012
"... An algorithm for solving the variational inequality problem over the fixed point set of a quasinonexpansive operator in ..."
Abstract
 Add to MetaCart
An algorithm for solving the variational inequality problem over the fixed point set of a quasinonexpansive operator in
Results 1  10
of
8,529