Related papers: Classification topologique des solutions du Probl\…

We consider Galois/monodromy groups arising in computer vision applications, with a view towards building more efficient polynomial solvers. The Galois/monodromy group allows us to decide when a given problem decomposes into algebraic…

A general formalism to solve nonlinear differential equations is given. Solutions are found and reduced to those of second order nonlinear differential equations in one variable. The approach is uniformized in the geometry and solves…

Thomson problem is a classical problem in physics to study how $n$ number of charged particles distribute themselves on the surface of a sphere of $k$ dimensions. When $k=2$, i.e. a 2-sphere (a circle), the particles appear at equally…

We apply the Lie algebraic method to reflecting optical systems with plane-symmetric freeform mirrors. Using analytical ray-tracing equations we construct an optical map. The expansion of this map gives us the aberration coefficients in…

We introduce a method, based on the Poincare-Hopf index theorem, to classify solutions to overdetermined problems for fully nonlinear elliptic equations in domains diffeomorphic to a closed disk. Applications to some well-known nonlinear…

In this paper, we prove the existence of multiple nontrivial solutions of the following equation. \begin{align*} \begin{split} -\Delta_{p}u & = \frac{\lambda}{u^{\gamma}}+g(u)+\mu~\mbox{in}\,\,\Omega, u & = 0\,\, \mbox{on}\,\,…

The goal of this paper is to study two basic problems of hyperbolic geometry. The first problem is to compare the hyperbolic and Euclidean distances. The second problem is to find hyperbolic counterparts of some basic geometric…

For every finite closure space $X$ one can define a finite topological space $\operatorname{Top} X$ together with a natural projection $\operatorname{Top} X\longrightarrow X$. This could allow to apply the techniques of topological…

This paper presents a new approach to determine the number of solutions of three variable Frobenius related problems and to find their solutions by using order reducing methods. Here, the order of a Frobenius related problem means the…

Among plenty of applications, low-dimensional homogeneous spaces appear in cosmological models as both, classical factor spaces of multidimensional geometry and minisuperspaces in canonical quantization. Here a new tool to restrict their…

We give a review of the systematic construction of hierarchies of soliton flows and integrable elliptic equations associated to a complex semi-simple Lie algebra and finite order automorphisms. For example, the non-linear Schr\"odinger…

While topological derivatives have proven useful in applications of topology optimisation and inverse problems, their mathematically rigorous derivation remains an ongoing research topic, in particular in the context of nonlinear partial…

We consider ``cosmologically symmetric'' (i.e. solutions with homogeneity and isotropy along three spatial dimensions) five-dimensional spacetimes with a scalar field and a three-brane representing our universe. We write Einstein's…

We prove that the three-sphere recognition problem lies in the complexity class NP. Our work relies on Thompson's original proof that the problem is decidable [Math. Res. Let., 1994], Casson's version of her algorithm, and recent results of…

We consider the 4+1 Einstein's field equations (EFE's) in vacuum, simplified by the assumption that there is a four-dimensional sub-manifold on which an isometry group of dimension four acts simply transitive. In particular we consider the…

This is a survey on algorithmic questions about combinatorial and geometric properties of convex polytopes. We give a list of 35 problems; for each the current state of knowledege on its theoretical complexity status is reported. The…

For many fundamental problems in computational topology, such as unknot recognition and $3$-sphere recognition, the existence of a polynomial-time solution remains unknown. A major algorithmic tool behind some of the best known algorithms…

The method of application of areas as presented in Euclid's Elements, is employed to generate the three conics as the loci of points with Cartesian coordinates satisfying quadratic equations with coefficients defined by the initial settings…

In this paper we present a decision procedure for computing pFq hypergeometric solutions for third order linear ODEs, that is, solutions for the classes of hypergeometric equations constructed from the 3F2, 2F2, 1F2 and 0F2 standard…

We exploit techniques from classical (real and complex) algebraic geometry for the study of the standard twistor fibration $\pi:\mathbb{CP}^{3}\to S^{4}$. We prove three results about the topology of the twistor discriminant locus of an…