Results 1 to 10 of about 607,173 (294)
Compactness in Metric Spaces [PDF]
, 2016 In this article, we mainly formalize in Mizar [2] the equivalence among a few compactness definitions of metric spaces, norm spaces, and the real line. In the first section, we formalized general topological properties of metric spaces.
Grzegorz Bancerek +4 more
core +4 more sources
The Goursat problem for hyperbolic linear third order equations
Mathematical Modelling and Analysis, 2001 The third order hyperbolic linear differential equation is considered in the non‐cylindrical domain of multidimensional Euclidean space. The equation operator is a composition of a differentiation operator of the first order and second order operator ...
V. I. Korzyuk
doaj +1 more source
Universal arrows to forgetful functors from categories of topological algebra [PDF]
, 1992 We survey the present trends in theory of universal arrows to forgetful functors from various categories of topological algebra and functional analysis to categories of topology and topological algebra.
Pestov, Vladimir G.
core +2 more sources
Pregeometric Concepts on Graphs and Cellular Networks as Possible Models of Space-Time at the Planck-Scale [PDF]
, 1998 Starting from the working hypothesis that both physics and the corresponding mathematics have to be described by means of discrete concepts on the Planck-scale, one of the many problems one has to face is to find the discrete protoforms of the building ...
Balachandran +14 more
core +2 more sources
Entropic Projections and Dominating Points [PDF]
, 2010 Generalized entropic projections and dominating points are solutions to convex minimization problems related to conditional laws of large numbers.
Borwein +22 more
core +5 more sources
Cohomology of Jordan triples via Lie algebras [PDF]
, 2015 We develop a cohomology theory for Jordan triples, including the infinite dimensional ones, by means of the cohomology of TKK Lie algebras. This enables us to apply Lie cohomological results to the setting of Jordan triples.
Chu, Cho-Ho, Russo, Bernard
core +2 more sources
, 2017 A recent QCD formulation that is non-perturbative, finite, gauge-invariant, exact emerged from Schwinger's Generating Functional. A first test of the validity of this formulation is provided here against elastic proton-proton scattering at the ...
Tsang, Peter H.
core +1 more source
, 2013 In this article, we formalize continuous differentiability of realvalued functions on n-dimensional real normed linear spaces. Next, we give a definition of the Ck space according to [23].This work was supported by JSPS KAKENHI 22300285Kanazashi Katuhiko
Kanazashi, Katuhiko +2 more
core +3 more sources
Application of the "Fishbone" Technology in the Organization of Independent Work of Students in Higher Mathematics [PDF]
, 2017 Formation of a creative personality able to self-development, self-education, and innovative activity is the main objective of graduate education. In this regard, a special attention should be paid to the organization of independent work of students in a
Podberezina, Elena Ivanovna +2 more
core +1 more source
Nonlinear geometric analysis on Finsler manifolds
, 2017 This is a survey article on recent progress of comparison geometry and geometric analysis on Finsler manifolds of weighted Ricci curvature bounded below.
Ohta, Shin-ichi
core +1 more source