Related papers: Euclidean quadratic forms are ADC forms: A short p…
We prove that any strongly regular Weingarten surface in Euclidean space carries locally geometric principal parameters. The basic theorem states that any strongly regular Weingarten surface is determined up to a motion by its structural…
We study anisotropic universal quadratic forms over semi-global fields; i.e., over one-variable function fields over complete discretely valued fields. In particular, given a semi-global field $F$, we compute both the $m$-invariant of $F$…
In this survey paper, we discuss the classical Cassels' theorem on existence of small-height zeros of quadratic forms over Q and its many extensions, to different fields and rings, as well as to more general situations, such as existence of…
Regular model sets, describing the point positions of ideal quasicrystallographic tilings, are mathematical models of quasicrystals. An important result in mathematical diffraction theory of regular model sets, which are defined on locally…
This article resolves several long-standing conjectures about Artin groups of euclidean type. In particular, we prove that every irreducible euclidean Artin group is a torsion-free centerless group with a decidable word problem and a…
We prove that if the associated fourth order tensor of a quadratic form has a linear elastic cubic symmetry then it is quasiconvex if and only if it is polyconvex, i.e. a sum of convex and null-Lagrangian quadratic forms. We prove that…
The theory of classical types of curves in normed planes is not strongly developed. In particular, the knowledge on existing concepts of curvatures of planar curves is widespread and not systematized in the literature. Giving a…
A (positive definite and integral) quadratic form $f$ is called regular if it represents all integers that are locally represented. It is known that there are only finitely many regular ternary quadratic forms up to isometry. However, there…
This paper proposes the density and characteristic functions of a general matrix quadratic form $\mathbf{X}^{*}\mathbf{AX}$, when $\mathbf{A} = \mathbf{A}^{*}$, $\mathbf{X}$ has a matrix multivariate elliptical distribution and…
Stated lemma contains the assertions about isomorphism of exact m-forms and exterior differentials of regular m-maps, of linearly harmonic m-forms and exterior differentials of regular harmonic m-maps, of global minimal (n-m)-surfaces and…
A perfect cuboid is a rectangular parallelepiped. Its edges, its face diagonals, and its space diagonal are of integer lengths. None of such cuboids is known thus far, though the system of Diophantine equations describing them is easily…
Systems of ordinary differential equations (or dynamical forms in Lagrangian mechanics), induced by embeddings of smooth fibered manifolds over one-dimensional basis, are considered in the class of variational equations. For a given…
Invariant integrals of functions and forms over $q$ - deformed Euclidean space and spheres in $N$ dimensions are defined and shown to be positive definite, compatible with the star - structure and to satisfy a cyclic property involving the…
A square matrix is nonderogatory if its Jordan blocks have distinct eigenvalues. We give canonical forms (i) for nonderogatory complex matrices up to unitary similarity and (ii) for pairs of complex matrices up to similarity, in which one…
Containers conveniently represent a wide class of inductive data types. Their derivatives compute representations of types of one-hole contexts, useful for implementing tree-traversal algorithms. In the category of containers and cartesian…
In this note, we give a classification of complete anisotropic isoparametric hypersurfaces, i.e., hypersurfaces with constant anisotropic principal curvatures, in Euclidean spaces, which is in analogue with the classical case for…
A strong consequence of quadratic forms becoming hyperbolic over the function field of a form is established. This result is invoked to obtain a new characterisation of hyperbolicity over function fields, and to recover a number of…
We prove the existence of nontrivial closed surfaces with constant anisotropic mean curvature with respect to elliptic integrands in closed smooth $3$-dimensional Riemannian manifolds. The constructed min-max surfaces are smooth with at…
We describe derivations of the Clifford algebra of a nondegenerate quadratic form on a countable dimensional vector space over an algebraically closed field of characteristic not equal to $2$. We also construct an algebraic automorphism of…
This unpublished note is an alternate, shorter (and hopefully more readable) proof of the decidability of all minimal models. The decidability follows from a proof of the existence of a cellular term in each observational equivalence class…