Related papers: On Euler's inequality and automated reasoning with…
An enhancement of the dynamic geometry system GeoGebra for the automatic symbolic computation of algebraic loci and envelopes is presented. Given a GeoGebra construction, the prototype, after rewriting the construction as a polynomial…
We introduce orbifold Euler numbers for normal surfaces with Q-divisors. These numbers behave multiplicatively under finite maps and in the log canonical case we prove that they satisfy the Bogomolov-Miyaoka-Yau type inequality. As a…
The implicit Euler method integrates systems of ordinary differential equations $$\frac{d x}{d t}=G(t,x(t))$$ with differentiable right-hand side $G : {\mathbb R} \times {\mathbb R}^n \rightarrow {\mathbb R}^n$ from an initial state $x=x(0)…
We introduce a system of software tools that can automatically prove or discover geometric inequalities. The system, called GeoGebra Discovery, consisting of an extended version of GeoGebra, a controller web service realgeom, and the…
This is an introduction to the algebraic aspect of Teichm\"uller dynamics, with a focus on its interplay with the geometry of moduli spaces of curves as well as recent advances in the field.
Latent space geometry provides a rigorous and empirically valuable framework for interacting with the latent variables of deep generative models. This approach reinterprets Euclidean latent spaces as Riemannian through a pull-back metric,…
We make use of the complex implicit representation in order to provide a deterministic algorithm for checking whether or not two implicit algebraic curves are related by a similarity, a central question in Pattern Recognition and Computer…
We present sharp estimates for the extremal eigenvalues of the Schur complements arising in saddle point problems. These estimates are derived using the auxiliary space theory, in which a given iterative method is interpreted as an…
The snags in Nucci(1996)REDUCE algorithm are the intrinsic computational efforts and the ability to recognize the ignorable variable(s) during the reduction process of the algorithm. An inappropriate choice of the ignorable variable(s)may…
We present a new method for visualizing implicit real algebraic curves inside a bounding box in the $2$-D or $3$-D ambient space based on numerical continuation and critical point methods. The underlying techniques work also for tracing…
We derive nonlinear stability results for numerical integrators on Riemannian manifolds, by imposing conditions on the ODE vector field and the step size that makes the numerical solution non-expansive whenever the exact solution is…
We show that there exist closed three-dimensional Riemannian manifolds where the incompressible Euler equations exhibit smooth steady solutions that are isolated in the $C^1$-topology. The proof of this fact combines ideas from dynamical…
A Teichm\"uller curve is an algebraic and isometric immersion of an algebraic curve into the moduli space of Riemann surfaces. We give the first explicit algebraic models of Teichm\"uller curves of positive genus. Our methods are based on…
Comparison of geometric quantities usually means obtaining generally true equalities of different algebraic expressions of a given geometric figure. Today's technical possibilities already support symbolic proofs of a conjectured theorem,…
The Riesz-Sobolev inequality provides an upper bound, in integral form, for the convolution of indicator functions of subsets of Euclidean space. We formulate and prove a sharper form of the inequality. This can be equivalently phrased as a…
We construct co-rotating and traveling vortex sheets for 2D incompressible Euler equation, which are supported on several small closed curves. These examples represent a new type of vortex sheet solutions other than two known classes. The…
This work gathers new results concerning the semi-geostrophic equations: existence and stability of measure valued solutions, existence and uniqueness of solutions under certain continuity conditions for the density, convergence to the…
Invariant Lagrangians yield invariant Euler-Lagrange equations, and it was discussed in the literature how to compute those using various local methods. The focus of this paper is on global algebraic differential invariants. In this case…
We derive some integral inequalities for holomorphic maps between complex manifolds. As applications, some rigidity and degeneracy theorems for holomorphic maps without assuming any pointwise curvature signs for both the domain and target…
In 1970s, a method was developed for integration of nonlinear equations by means of algebraic geometry. Starting from a Lax representation with spectral parameter, the algebro-geometric method allows to solve the system explicitly in terms…