Related papers: Ambient Isotopic Meshing of Implicit Algebraic Sur…
We propose a unifying setting for dealing with monodromically atypical intersections that goes beyond the usual Zilber-Pink conjecture. In particular we obtain a new proof of finiteness of the maximal atypical orbit closures in each stratum…
Many applications in magnetic confinement fusion require the efficient calculation of surface integrals with singular integrands. The singularity subtraction approaches typically used to handle such singularities are complicated to…
Any germ of a complex analytic space is equipped with two natural metrics: the outer metric induced by the hermitian metric of the ambient space and the inner metric, which is the associated riemannian metric on the germ. These two metrics…
Any germ of a complex analytic space is equipped with two natural metrics: the {\it outer metric} induced by the hermitian metric of the ambient space and the {\it inner metric}, which is the associated riemannian metric on the germ. We…
We prove that the morphism that maps a rational ruled surface to its singular locus is genericaly injective modulo isomophism and duality. We also calculate the dimension and the degre of its image.
Volumetric spline parameterization and computational efficiency are two main challenges in isogeometric analysis (IGA). To tackle this problem, we propose a framework of computation reuse in IGA on a set of three-dimensional models with…
We present an algebraic procedure that finds the Lie algebra of the local Killing fields of a smooth metric. In particular, we determine the number of independent local Killing fields about a given point on the manifold. Spaces of constant…
We give a method of counting the number of curves with a given type of singularity in a suitably ample linear series on a smooth surface using punctual Hilbert schemes. The types of singulaties for which our methods suffice include the…
The principal observation of the present paper is that an inner isotopy (i.e. a principal isotopy defined by an algebra endomorphism) is a very helpful instrument in constructing and studying interesting classes of nonassociative algebras.…
Adapting a result of Bazhenov, Kalimullin, and Yamaleev, we show that if a Turing degree $\textbf{d}$ is the degree of categoricity of a computable structure $\mathcal{M}$ and is not the strong degree of categoricity of any computable…
We present a deterministic way of assigning small (log bit) weights to the edges of a bipartite planar graph so that the minimum weight perfect matching becomes unique. The isolation lemma as described in (Mulmuley et al. 1987) achieves the…
A method is presented for computing all the affine equivalences between two rational ruled surfaces defined by rational parametrizations that works directly in parametric rational form, i.e. without computing or making use of the implicit…
Deciding realizability of a given polyhedral map on a (compact, connected) surface belongs to the hard problems in discrete geometry, from the theoretical, the algorithmic, and the practical point of view. In this paper, we present a…
This work presents the mathematical foundations for the generation of integrable cross-field on 2D manifolds based on user-imposed singularity configuration. In this paper, we either use singularities that appear naturally, e.g., by solving…
We investigate the performance of algebraic multigrid methods for the solution of the linear system of equations arising from a Virtual Element discretization. We provide numerical experiments on very general polygonal meshes for a model…
A new proof for the embedded resolution of surface singularities in a three-dimensional smooth ambient space over algebraically closed fields of arbitrary characteristic. The proof makes use of an upper semicontinuous resolution invariant…
One of the main advantages of reciprocal bianisotropic metasurfaces is their capability to produce asymmetric scattering depending from which side they are illuminated and on the handedness of circularly polarized illuminations. For most…
In this paper, we generalize the algorithm described by Rump and Graillat, as well as our previous work on certifying breadth-one singular solutions of polynomial systems, to compute verified and narrow error bounds such that a slightly…
We prove that the isometric embedding of any metric of differentiability class C1 in E3 exists. We use simplified notation for the given metric, namely geodesic parameters, and level parameters for the embedded surface in E3. Central to our…
We present various facts on the graded Betti table of a projectively embedded toric surface, expressed in terms of the combinatorics of its defining lattice polygon. These facts include explicit formulas for a number of entries, as well as…