Results 111 to 120 of about 513,254 (163)

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

Optimal Runge approximation for nonlocal wave equations and unique determination of polyhomogeneous nonlinearities. [PDF]

Calc Var Partial Differ Equ
Lin YH, Tyni T, Zimmermann P.
europepmc   +1 more source

Extended Divergence-Measure Fields, the Gauss-Green Formula and Cauchy Fluxes. [PDF]

Arch Ration Mech Anal
Chen GG, Irving C, Torres M.
europepmc   +1 more source

Intrinsic Quantization of Linear Hamiltonian Systems. [PDF]

Entropy (Basel)
Accardi L, Pandiscia C.
europepmc   +1 more source

Global well-posedness and interior regularity of 2D Navier-Stokes equations with stochastic boundary conditions. [PDF]

Math Ann
Agresti A, Luongo E.
europepmc   +1 more source

The Hahn-Banach Theorem in Type Theory

, 2008
We give the basic de nitions for pointfree functional analysis and present constructive proofs of the Alaoglu and Hahn-Banach theorems in the setting of formal ...
Thierry Coquand, Sara Negri, Jan Cederquist   +2 more
core  

The separation and compactness on fuzzy partial metric spaces. [PDF]

Fundam Res
Wang H, Shen C, Jin Z.
europepmc   +1 more source