Results 111 to 120 of about 513,304 (193)

Coherence of assistance and assisted maximally coherent states. [PDF]

Sci Rep, 2021
Zhao MJ, Pereira R, Ma T, Fei SM.
europepmc   +1 more source

Hahn-Banach theorems for convex functions

, 1996
International audienceWe start from a basic version of the Hahn-Banach theorem, of which we provide a proof based on Tychonoff's theorem on the product of compact intervals.
Lassonde, Marc
core   +1 more source

Szegő Kernel Asymptotics on Complete Strictly Pseudoconvex CR Manifolds. [PDF]

J Geom Anal, 2022
Hsiao CY, Marinescu G, Wang H.
europepmc   +1 more source

PARTITIONING SIGNAL CLASSES USING TRANSPORT TRANSFORMS FOR DATA ANALYSIS AND MACHINE LEARNING. [PDF]

Sampl Theory Signal Process Data Anal, 2021
Aldroubi A, Li S, Rohde GK.
europepmc   +1 more source

Exploring novel semi-inner product reproducing Kernels in Banach space for robust Kernel methods. [PDF]

PLoS One
Ding Y, Zhao Y, Pei Y.
europepmc   +1 more source

ABB Theorems: Results and Limitations in Infinite Dimensions. [PDF]

J Optim Theory Appl
Daniilidis A, De Bernardi CA, Miglierina E.   +2 more
europepmc   +1 more source

A Machine Assisted Proof of the Hahn-Banach Theorem

, 1997
We describe an implementation of a pointfree proof of the Alaoglu and the HahnBanach theorems in Type Theory. The proofs described here are formalisations of the proofs presented in "The Hahn-Banach Theorem in Type Theory" [4].
Jan Cederquist
core  

Calderón problem for nonlocal viscous wave equations: Unique determination of linear and nonlinear perturbations. [PDF]

Rev R Acad Cienc Exactas Fis Nat A Mat
Zimmermann P.
europepmc   +1 more source

New duality results for evenly convex optimization problems. [PDF]

Optimization, 2021
Fajardo MD, Grad SM, Vidal J.
europepmc   +1 more source

Function theory on the annulus in the dp-norm. [PDF]

Integr Equ Oper Theory
Agler J, Lykova ZA, Young NJ.
europepmc   +1 more source