Results 371 to 374 of about 5,495,109 (374)

The HOL Light Theory of Euclidean Space

Journal of automated reasoning, 2012
J. Harrison
semanticscholar   +1 more source

Euclidean space

1986
Domina Eberle Spencer, Parry Moon
openaire   +2 more sources

Extensions of Korpelevich's extragradient method for the variational inequality problem in Euclidean space

, 2012
Y. Censor, A. Gibali, S. Reich
semanticscholar   +1 more source

HOMEOMORPHISMS OF EUCLIDEAN SPACE AND TOPOLOGICAL IMBEDDINGS OF POLYHEDRA IN EUCLIDEAN SPACES. III [PDF]

Mathematics of the USSR-Sbornik, 1967
openaire   +1 more source