Related papers: The Area Method in the Wolfram Language
We describe our ongoing project of formalization of algebraic methods for geometry theorem proving (Wu's method and the Groebner bases method), their implementation and integration in educational tools. The project includes formal…
Kohn introduced in 1979 the algorithm of multipliers to study the subelliptc estimate of the $\bar\partial$-Neumann problem for a smooth weakly pseudoconvex domain in a complex Euclidean space which satisfies D'Angelo's finite type…
Rigid, hard and soft problems and results in arithmetic geometry are presented. "Soft" and "hard" in our paper are limited to the framework of solutions of quadratic forms over rings of integers of local and global fields, the…
This paper explores the application of automated planning to automated theorem proving, which is a branch of automated reasoning concerned with the development of algorithms and computer programs to construct mathematical proofs. In…
We present an auxiliary space theory that provides a unified framework for analyzing various iterative methods for solving linear systems that may be semidefinite. By interpreting a given iterative method for the original system as an…
A system of fermions forming a Fermi surface exhibits a large degree of quantum entanglement, even in the absence of interactions. In particular, the usual case of a codimension one Fermi surface leads to a logarithmic violation of the area…
We propose a method for obtaining rigorous and accurate upper and lower bounds on the eigenvalues of ordinary and partial differential operators in bounded regions of Euclidean space. It uses a boundary condition homotopy method starting…
In 1981, Uchida proved a conditional version of the Hom-form of the Grothendieck birational anabelian conjecture for number fields. In this paper we prove an m-step solvable conditional version of the Grothendieck birational anabelian…
The finite element method(FEM) is applied to bound leading eigenvalues of Laplace operator over polygonal domain. Compared with classical numerical methods, most of which can only give concrete eigenvalue bounds over special domain of…
We establish area bounds for two-dimensional immersions in R^3 and R^n. Namely, for \mu-stable immersions in R^3 (R^n), for graphs in $\mathbb R^3$ which solve quasilinear equations in divergence form, and for graphs which are critical for…
We study a cut-off function lemma in projective spaces. We believe that this is well-known. We provide the details of the computation for later uses.
We employ two-dimensional chiral algebra techniques to produce solutions of certain differential and integral equations which occur in the context of the Analytic Geometric Langlands Program.
An inverse obstacle problem governed by the Stokes system in the time domain is considered. Two types of extraction formulae about the geometry of an unknown obstacle are given by using the most recent version of the time domain enclosure…
Bayesian inference for spatial point patterns is often hindered computationally by intractable likelihoods. In the frequentist literature, estimating equations utilizing pseudolikelihoods have long been used for simulation-free parameter…
Two-stage hierarchical models have been widely used in small area estimation to produce indirect estimates of areal means. When the areas are treated exchangeably and the model parameters are assumed to be the same over all areas, we might…
In mathematical aspect, we introduce quantum algorithm and the mathematical structure of quantum computer. Quantum algorithm is expressed by linear algebra on a finite dimensional complex inner product space. The mathematical formulations…
This note concerns the area growth and bottom spectrum of complete stable minimal surfaces in a three-dimensional manifold with scalar curvature bounded from below. When the ambient manifold is the Euclidean space, by an elementary…
Pick's astonishing theorem explains how to obtain the area of any integer polygon by counting lattice points. It is a notoriously difficult challenge to translate the geometric statement and intuitive reasoning into a formal statement and…
We consider the relativistic Euler equations governing spherically symmetric, perfect fluid flows on the outer domain of communication of Schwarzschild spacetime, and we introduce a version of the finite volume method which is formulated…
A mathematical method for through-wall imaging via wave phenomena in the time domain is introduced. The method makes use of a single reflected wave over a finite time interval and gives us a criterion whether a penetrable obstacle exists or…