Related papers: Ellipsis and Quantification: a substitutional appr…
We derive an efficient algorithm to find solutions to Euler's concordant form problem and rational points on elliptic curves associated with this problem.
Assume $X$ is a variety for which the elliptic stable envelope exists. In this note we construct natural $q$-difference equations from the elliptic stable envelope of $X$. In examples, these equations coincide with the quantum difference…
Exactly solving first-order constraints (i.e., first-order formulas over a certain predefined structure) can be a very hard, or even undecidable problem. In continuous structures like the real numbers it is promising to compute approximate…
A new approach to the analytic theory of difference equations with rational and elliptic coefficients is proposed. It is based on the construction of canonical meromorphic solutions which are analytical along "thick paths". The concept of…
A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…
A periodic connection is constructed for a double well potential defined in the plane. This solution violates Modica's estimate as well as the corresponding Liouville Theorem for general phase transition potentials. Gradient estimates are…
This paper is devoted to heuristic aspects of the so-called idempotent calculus. There is a correspondence between important, useful and interesting constructions and results over the field of real (or complex) numbers and similar…
The elementary resolution of singularities algorithm of the author's earlier paper (math.CA/0609217) is developed further, replacing the quasibump functions in the blown up coordinates with the characteristic function of a rectangle times a…
We firstly show that the standard interpretation of natural quantification in mathematical logic does not provide a satisfying account of its original richness. In particular, it ignores the difference between generic and distributive…
This paper describes a formalism that subsumes Peterson's intermediate quantifier syllogistic system, and extends the ideas by van Eijck on Aristotle's logic. Syllogisms are expressed in a concise form making use of and extending the…
We propose in this paper to study the solutions of some nonlinear elliptic equations with singular potential.
In this paper, we study the existence and nonexistence of positive solutions for a coupled elliptic system with critical exponent and logarithmic terms. The presence of the the logarithmic terms brings major challenges and makes it…
By introducing a new classification of the growth rate of exponential functions, singular solutions for semilinear elliptic equations in 2-dimensions with exponential nonlinearities are constructed. The strategy is to introduce a model…
We are concerned with the problem of determining the nonlinear term in a semilinear elliptic equation by boundary measurements. Precisely, we improve [5, Theorem 1.3], where a logarithmic type stability estimate was proved. We show actually…
We give a direct proof of the fact that elliptic solutions of the associative Yang-Baxter equation arise from appropriate spherical orders on an elliptic curve.
We consider non-linear elliptic equations having a measure in the right hand side, of the type $ \divo a(x,Du)=\mu, $ and prove differentiability and integrability results for solutions. New estimates in Marcinkiewicz spaces are also given,…
In this paper, we consider stochastic homogenization of elliptic equations with unbounded and non-uniformly elliptic coefficients. Extending subadditive arguments, we get an estimate for the rate of the convergence of the solution of the…
This paper proposes decoupling the dependency tree from word order, such that surface ordering is not determined by traversing the dependency tree. We develop the notion of a \emph{word order domain structure}, which is linked but…
A multilevel adaptive refinement strategy for solving linear elliptic partial differential equations with random data is recalled in this work. The strategy extends the a posteriori error estimation framework introduced by Guignard and…
We use a Carleman type inequality of Koch and Tataru to obtain quantitative estimates of unique continuation for solutions of second order elliptic equations with singular lower order terms. First we prove a three sphere inequality and then…