Related papers: An axiomatic look at a windmill

We consider instability of the Friedmann world model to the second-order in perturbations. We present the perturbed set of equations up to the second-order in the Friedmann background world model with general spatial curvature and the…

We prove that the inhabitation problem for rank two intersection types is decidable, but (contrary to common belief) EXPTIME-hard. The exponential time hardness is shown by reduction from the in-place acceptance problem for alternating…

In this paper we introduce an integer-valued degree for second order fully nonlinear elliptic operators with nonlinear oblique boundary conditions. We also give some applications to the existence of solutions of certain nonlinear elliptic…

A representation of an arbitrary system of strict linear inequalities in R^n as a system of points is proposed. The representation is obtained by using a so-called polarity. Based on this representation an algorithm for constructing a…

In this work, we introduce an iterative linearised finite element method for the solution of Bingham fluid flow problems. The proposed algorithm has the favourable property that a subsequence of the sequence of iterates generated converges…

In 1971 Fedi\u{i} proved the remarkable theorem that the linear second order partial differential operator in the plane with coefficients 1 and f^2 is hypoelliptic provided that f is smooth, vanishes at the origin and is positive otherwise.…

We present a machine learning approach to the inversion of Fredholm integrals of the first kind. The approach provides a natural regularization in cases where the inverse of the Fredholm kernel is ill-conditioned. It also provides an…

We prove a truncated second main theorem in the projective plane for entire curves which cluster on an algebraic curve.

We use inverted finite elements method for approximating solutions of second order elliptic equations with non-constant coefficients varying to infinity in the exterior of a 2D bounded obstacle, when a Neumann boundary condition is…

We find that second order quantification is problematic when a quantified concept variable is supposed to function predicatively. This issue is analyzed and it is shown that a constructive interpretation of the falling under relation…

The simplex method in Linear Programming motivates several problems of asymptotic convex geometry. We discuss some conjectures and known results in two related directions -- computing the size of projections of high dimensional polytopes…

We consider generalized inverses of linear operators on arbitrary vector spaces and study the question when their product in reverse order is again a generalized inverse. This problem is equivalent to the question when the product of two…

This paper presents a soundness and completeness proof for propositional intuitionistic calculus with respect to the semantics of computability logic. The latter interprets formulas as interactive computational problems, formalized as games…

With the present and soon-to-be breakthrough of optical interferometry, countless objects shall be within reach of interferometers; yet, most of them are expected to remain only marginally resolved with hectometric baselines. In this paper,…

Singularities of plane into plane mappings described by parabolic two-component systems of quasi-liner partial differential equations of the first order are studied. Impediments arising in the application of the original Whitney's approach…

We present a discussion about the local isometric rigidity problem in codimension 2 with a concrete example. We show the necessity of extending the notions of genuine and honest rigidity in order to have the transitivity property. In order…

In this paper we give an ordinal analysis of the theory of second order arithmetic. We do this by working with proof trees -- that is, "deductions" which may not be well-founded. Working in a suitable theory, we are able to represent…

A systematic study of the discrete second order projective system is presented, complemented by the integrability analysis of the associated multilinear mapping. Moreover, we show how we can obtain third order integrable equations as the…

We model an irrigation network where lower branches must be thicker in order to support the weight of the higher ones. This leads to a countable family of ODEs, one for each branch, that must be solved by backward induction. Having…

We investigate connections between the geometry of linear subspaces and the convergence of the alternating projection method for linear projections. The aim of this article is twofold: in the first part, we show that even in Euclidean…