Results 261 to 270 of about 17,772 (305)

Hölder Regularity of the Solutions of Fredholm Integral Equations on Upper Ahlfors Regular Sets

Mathematical Methods in the Applied Sciences, EarlyView.
ABSTRACT We extend to the context of metric measured spaces, with a measure that satisfies upper Ahlfors growth conditions, the validity of (generalized) Hölder continuity results for the solution of a Fredholm integral equation of the second kind. Here we note that upper Ahlfors growth conditions include also cases of nondoubling measures.
Massimo Lanza de Cristoforis, Manuel Norman   +1 more
wiley   +1 more source

Numerical Analysis of BIMs for Stochastic SIR and SIS Models with Variable Contact Diffusion Rates. [PDF]

J Math Biol
Schurz H, Tosun K.
europepmc   +1 more source

Fully Characterizing Lossy Catalytic Computation. [PDF]

Algorithmica
Folkertsma M, Mertz I, Speelman F, Tupker Q.   +3 more
europepmc   +1 more source

Verification Sequential Circuits Using Inductive Theorem Proving

, 2009
Hsiang, Jieh, 項潔
core  

Energy-dissipative adaptive-step L1 discretisation for the Caputo time-fractional incompressible magnetohydrodynamic system. [PDF]

Sci Rep
Abidin MZ.
europepmc   +1 more source

Any Topological Recursion on a Rational Spectral Curve is KP Integrable. [PDF]

Commun Math Phys
Alexandrov A, Bychkov B, Dunin-Barkowski P, Kazarian M, Shadrin S.   +4 more
europepmc   +1 more source

Varifold solutions to volume-preserving mean curvature flow: existence and weak-strong uniqueness. [PDF]

Math Ann
Poiatti A.
europepmc   +1 more source

Turing complete Navier-Stokes steady states via cosymplectic geometry. [PDF]

PNAS Nexus
Dyhr S, González-Prieto Á, Miranda E, Peralta-Salas D.   +3 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

On Theorem Proving in Annotated Logics

Journal of Applied Non-Classical Logics, 2000
ABSTRACT We are concerned with the theorem proving in annotated logics. By using annotated polynomials to express knowledge, we develop an inference rule superposition. A proof procedure is thus presented, and an improvement named M- strategy is mainly described.
Mi Lu
exaly   +3 more sources

Theorem proving with abstraction

Artificial Intelligence, 1981
Translation from Artif. Intell. 16, 47-108 (English) (1981; Zbl 0454.68113).
openaire   +2 more sources