Related papers: On Euler's inequality and automated reasoning with…
Initial results from new calculations of interacting anti-parallel Euler vortices are presented with the objective of understanding the origins of singular scaling presented by Kerr (1993) and the lack thereof by Hou and Li (2006). Core…
The Integral Image algorithm is often applied in tasks that require efficient integration over images, such as object detection. In this paper we discuss theoretical aspects of the algorithm's continuous version. We suggest to define the…
Runge-Kutta methods have an irreplaceable position among numerical methods designed to solve ordinary differential equations. Especially, implicit ones are suitable for approximating solutions of stiff initial value problems. We propose a…
We consider the locus of irreducible nonsingular rational curves of degree d Pn, n>2, meeting a generic collection of linear subspaces. When this locus is 0 (resp 1)- dimensional, we compute (recursively) its degree (resp. geometric genus).…
We discover suprising connections between three seemingly different problems: finding right triangles with rational sides in a non-Euclidean geometry, finding three integers such that the difference of the squares of any two is a square,…
Here we present a new approach to compute symmetries of rational second order ordinary differential equations (rational 2ODEs). This method can compute Lie symmetries (point symmetries, dynamical symmetries and non-local symmetries)…
The isometric embedding problem for Riemannian manifolds, which connects intrinsic and extrinsic geometry, is a central question in differential geometry with deep theoretical significance and wide-ranging applications. Despite extensive…
In this addendum note we fill in the gap left in \cite{ls} in the description of 2D homogeneous solutions to the stationary Euler system with the help of the results of \cite{sd}. This gives a complete classification of all solutions. The…
Differential equations are derived which show how generalized Euler vector representations of the Euler rotation axis and angle for a rigid body evolve in time; the Euler vector is also known as a rotation vector or axis-angle vector. The…
Implicit Neural Representations (INRs) have emerged as a paradigm in knowledge representation, offering exceptional flexibility and performance across a diverse range of applications. INRs leverage multilayer perceptrons (MLPs) to model…
We introduce and discuss, through a computational algebraic geometry approach, the automatic reasoning handling of propositions that are simultaneously true and false over some relevant collections of instances. A rigorous, algorithmic…
This paper considers the problem of testing whether there exists a non-negative solution to a possibly under-determined system of linear equations with known coefficients. This hypothesis testing problem arises naturally in a number of…
We present new, practical algorithms for the hypersurface implicitization problem: namely, given a parametric description (in terms of polynomials or rational functions) of the hypersurface, find its implicit equation. Two of them are for…
Master character of the multidimensional homogeneous Euler equation is discussed. It is shown that under restrictions to the lower dimensions certain subclasses of its solutions provide us with the solutions of various hydrodynamic type…
In this manuscript, an original numerical procedure for the nonlinear peridynamics on arbitrarily--shaped two-dimensional (2D) closed manifolds is proposed. When dealing with non parameterized 2D manifolds at the discrete scale, the problem…
Many classical geometric inequalities on functionals of convex bodies depend on the dimension of the ambient space. We show that this dimension dependence may often be replaced (totally or partially) by different symmetry measures of the…
A semi-implicit-explicit (semi-IMEX) Runge-Kutta (RK) method is proposed for the numerical integration of ordinary differential equations (ODEs) of the form $\mathbf{u}' = \mathbf{f}(t,\mathbf{u}) + G(t,\mathbf{u}) \mathbf{u}$, where…
In this paper, we present a new method for estimating the $L_2$-gain of systems governed by 2nd order linear Partial Differential Equations (PDEs) in two spatial variables, using semidefinite programming. It has previously been shown that,…
In this paper we propose a new point of view on weak solutions of the Euler equations, describing the motion of an ideal incompressible fluid in $\mathbb{R}^n$ with $n\geq 2$. We give a reformulation of the Euler equations as a differential…
Let $T := \mathbb{G}_m^d$ be the torus acting on the Quot scheme of points $\coprod_n \mathrm{Quot}_{\mathcal{O}^r/\mathbb{A}^d/\mathbb{Z}}^n$ via the standard action on $\mathbb{A}^d$. We analyze the fixed locus of the Quot scheme under…