Sobolev gradients for differential algebraic equations.
Conway's Games and Some of their Basic Properties
We formulate a few basic concepts of J. H. Conway's theory of games based on his book [6]. This is a first step towards formalizing Conway's theory of numbers into Mizar, which is an approach to proving the existence of a FIELD (i.e., a proper class that satisfies the axioms of a real-closed field) that includes the reals and ordinals, thus providing a uniform, independent and simple approach to these two constructions that does not go via the rational numbers and hence does for example not need...
Inhomogeneous parabolic Neumann problems
Second order parabolic equations on Lipschitz domains subject to inhomogeneous Neumann (or, more generally, Robin) boundary conditions are studied. Existence and uniqueness of weak solutions and their continuity up to the boundary of the parabolic cylinder are proved using methods from the theory of integrated semigroups, showing in particular the well-posedness of the abstract Cauchy problem in spaces of continuous functions. Under natural assumptions on the coefficients and the inhomogeneity the...
Page 1