Related papers: Recognizing implicitly given rational canal surfac…
Motivated by applications in robotics and computer vision, we study problems related to spatial reasoning of a 3D environment using sublevel sets of polynomials. These include: tightly containing a cloud of points (e.g., representing an…
We give new positive and negative results (some conditional) on speeding up computational algebraic geometry over the reals: (1) A new and sharper upper bound on the number of connected components of a semialgebraic set. Our bound is novel…
$\cal{A}$ point $P \in \Real^n$ is represented in Parallel Coordinates by a polygonal line $\bar{P}$ (see \cite{Insel99a} for a recent survey). Earlier \cite{inselberg85plane}, a surface $\sigma$ was represented as the {\em envelope} of the…
We present a full pipeline for computing the medial axis transform of an arbitrary 2D shape. The instability of the medial axis transform is overcome by a pruning algorithm guided by a user-defined Hausdorff distance threshold. The stable…
Geometry processing presents a variety of difficult numerical problems, each seeming to require its own tailored solution. This breadth is largely due to the expansive list of geometric primitives, e.g., splines, triangles, and hexahedra,…
In this paper we define and construct a new class of algebraic surfaces in three-dimensional Euclidean space generated by a curve and a congruence of circles. We study their properties and visualize them with the program Mathematica.
We study the geometry and arithmetic of so-called primary Burniat surfaces, a family of surfaces of general type arising as smooth bidouble covers of a del Pezzo surface of degree 6 and at the same time as \'etale quotients of certain…
Matrix weighted rational B\'{e}zier curves can represent complex curve shapes using small numbers of control points and clear geometric definitions of matrix weights. Explicit formulae are derived to convert matrix weighted rational…
The difficulty in exploring potential energy surfaces, which are nonconvex, stems from the presence of many local minima, typically separated by high barriers and often disconnected in configurational space. We obtain the global minimum on…
Ubiquitous geometric objects can be precisely and efficiently represented as polyhedra. The transformation of a polyhedron into a vector, known as polyhedra representation learning, is crucial for manipulating these shapes with mathematical…
We survey recent developments on rationality problems for algebraic varieties, with a particular emphasis on cycle-theoretic and combinatorial methods and their applications to hypersurfaces.
We present a form of algebraic reasoning for computational objects which are expressed as graphs. Edges describe the flow of data between primitive operations which are represented by vertices. These graphs have an interface made of…
Deep implicit surfaces excel at modeling generic shapes but do not always capture the regularities present in manufactured objects, which is something simple geometric primitives are particularly good at. In this paper, we propose a…
We show that the implicit equation of a surface in 3-dimensional projective space parametrized by bi-homogeneous polynomials of bi-degree (d,d), for a given positive integer d, can be represented and computed from the linear syzygies of its…
We propose a new method for constructing rational spatial Pythagorean Hodograph (PH) curves based on determining a suitable rational framing motion. While the spherical component of the framing motion is arbitrary, the translation part is…
This survey paper was primarily written as as the support for a course pesented at the JNCF2025: it aims to present some material that illustrates the kind of estimates one can obtain in effective algebraic geometry, for affine polynomial…
We propose a novel neural architecture for representing 3D surfaces, which harnesses two complementary shape representations: (i) an explicit representation via an atlas, i.e., embeddings of 2D domains into 3D; (ii) an implicit-function…
We pose some questions about spaces parametrizing rational curves on rationally connected varieties. We give a partial answer for cubic threefolds. Many of our results were previously proved by Iliev, Markushevich and Tikhimirov by…
We study the family of functions that are represented by a linear convolutional neural network (LCN). These functions form a semi-algebraic subset of the set of linear maps from input space to output space. In contrast, the families of…
We classify all complex surfaces with quotient singularities that do not contain any smooth rational curves, under the assumption that the canonical divisor of the surface is not pseudo-effective. As a corollary we show that if $X$ is a log…