Related papers: An elementary proof of Euler formula using Cauchy'…

The use of Cauchy's method in proving the well-known Euler formula is an object of many controversies. The purpose of this paper is to prove that the Cauchy's method applies for convex polyhedra and not only for them, but also for surfaces…

We present a formalization of convex polyhedra in the proof assistant Coq. The cornerstone of our work is a complete implementation of the simplex method, together with the proof of its correctness and termination. This allows us to define…

The Euler-Poisson system is a fundamental two-fluid model to describe the dynamics of the plasma consisting of compressible electrons and a uniform ion background. In the 3D case Guo first constructed a global smooth irrotational solution…

This paper details an algorithm for unfolding a class of convex polyhedra, where each polyhedron in the class consists of a convex cap over a rectangular base, with several restrictions: the cap's faces are quadrilaterals, with vertices…

We give a short and simple proof of Cauchy's surface area formula, which states that the average area of a projection of a convex body is equal to its surface area up to a multiplicative constant in the dimension.

The Gauss-Bonnet theorem for a polyhedron (a union of finitely many compact convex polytopes) in $n$-dimensional Euclidean space expresses the Euler characteristic of the polyhedron as a sum of certain curvatures, which are different from…

Cauchy's surface area formula says that for a convex body $K$ in $n$-dimensional Euclidean space the mean value of the $(n-1)$-dimensional volumes of the orthogonal projections of $K$ to hyperplanes is a constant multiple of the surface…

A novel semi-Lagrangian method is introduced to solve numerically the Euler equation for ideal incompressible flow in arbitrary space dimension. It exploits the time-analyticity of fluid particle trajectories and requires, in principle,…

The ultraspherical spectral method features high accuracy and fast solution. In this article, we determine the sources of error arising from the ultraspherical spectral method and derive its effective condition number, which explains why…

Some known results regarding the Euler and Navier-Stokes equations were obtained by different authors. Existence and smoothness of solutions for the Navier-Stokes equations in two dimensions have been known for a long time. Leray showed…

Cauchy's surface area formula expresses the surface area of a convex body as the average area of its orthogonal projections over all directions. While this tool is fundamental in Euclidean geometry, with applications ranging from geometric…

A new transparent proof of the well known good compactification theorem for the complex torus $(\Bbb C^*)^n$ is presented. This theorem provides a powerful tool in enumerative geometry for subvarieties in the complex torus. The paper also…

The well-posedness of Cauchy problem of 3D compressible Euler equations is studied. By using Smith-Tataru's approach \cite{ST}, we prove the local existence, uniqueness and stability of solutions for Cauchy problem of 3D compressible Euler…

First, we shall formulate and prove Theorem of Lie-Kolchin type for a cone and derive some algebro-geometric consequences. Next, inspired by a recent result of Dinh and Sibony we pose a conjecture of Tits type for a group of automorphisms…

The purpose of this paper is the formal verification of a counterexample of Santos et al. to the so-called Hirsch Conjecture on the diameter of polytopes (bounded convex polyhedra). In contrast with the pen-and-paper proof, our approach is…

A compactness theorem is proved for a family of K\"{a}hler surfaces with constant scalar curvature and volume bounded from below, diameter bounded from above, Ricci curvature bounded and the signature bounded from below. Furthermore, a…

We use the square peg problem for smooth curves to prove a generalized table Theorem for real valued functions on Riemannian surfaces with odd Euler characteristic. We then use this result to prove the table conjecture for even functions on…

Hodograph equations for the Euler equation in curved spaces with constant pressure are discussed. It is shown that the use of known results concerning geodesics and associated integrals allows to construct several types of hodograph…

We show that the Volume Conjecture for polyhedra implies a weak version of the Stoker Conjecture; in turn we prove that this weak version of the Stoker conjecture implies the Stoker conjecture. The main tool used is an extension of a result…

We define the notion of log-Riemann surfaces and Caratheodory convergence of log-Riemann surfaces. We prove a convergence theorem for uniformizations of simply connected log-Riemann surfaces converging in the Caratheodory topology. We…