Related papers: Computing invariants of cubic surfaces
We compute the differential geometric invariants of cuspidal edges on flat surfaces in hyperbolic $3$-space and in de Sitter space. Several dualities of invariants are pointed out.
We review results of papers written on the topic of polynomial amoebas with an emphasis on computational aspects of the topic. The polynomial amoebas have a lot of applications in various domains of science. Computation of the amoeba for a…
We discuss computability and computational complexity of conformal mappings and their boundary extensions. As applications, we review the state of the art regarding computability and complexity of Julia sets, their invariant measures and…
Cubic invariants for two-dimensional degenerate Hamiltonian systems are considered by using variables of separation of the associated St\"ackel problems with quadratic integrals of motion. For the superintegrable St\"ackel systems the cubic…
We report on results about a study of algebraic graph invariants, based on computer exploration, and motivated by graph-isomorphism and reconstruction problems.
We present a matrix-based algorithm for deciding if the parametrization of a curve or a surface is invertible or not, and for computing the inverse of the parametrization if it exists.
We develop a geometric version of the inverse problem of the calculus of variations for discrete mechanics and constrained discrete mechanics. The geometric approach consists of using suitable Lagrangian and isotropic submanifolds. We also…
We give a survey on eta invariants including methods of computation and applications in differential topology.
We consider the polynomial algebra $\mathbb{C}[\mathbf{z}]:=\mathbb{C}[z_1,\,z_2,\,z_3]$ and the polynomial $f:=z_1^3+z_2^3+z_3^3+3qz_1z_2z_3$, where $q\in \mathbb{C}$. Our aim is to compute the Hochschild homology and cohomology of the…
We construct and study cluster algebra structures in rings of invariants of the special linear group action on collections of three-dimensional vectors, covectors, and matrices. The construction uses Kuperberg's calculus of webs on marked…
We provide an algorithm for detecting the involutions leaving a surface defined by a polynomial parametrization invariant. As a consequence, the symmetry axes, symmetry planes and symmetry center of the surface, if any, can be determined…
We introduce invariants for compact $C^1$-orientable surfaces (with boundary) in $\mathbb{R}^3$ up to rigid transformations. Our invariants are certain degree four polynomials in the moments of the delta function of the surface. We give an…
In this paper, we study the computation of curvatures at the singular points of algebraic curves and surfaces. The idea is to convert the problem to compute the curvatures of the corresponding regular parametric curves and surfaces, which…
We use Maxima to compute the moment matrices of hypersurfaces. After that, we compute the Hilbert-Mumford numerical criterion for plane cubics and plane quartics, and give the stability of these curves.
Quantum algorithms provide a potential strategy for solving computational problems that are intractable by classical means. Computing the topological invariants of topological matter is one central problem in research on quantum materials,…
In this paper we consider plane quartics with to involutions. We compute the Dixmier invariants, the bitangents and the Matrix representation problem of these curves, showing that they have symbolic solutions for the last two questions.
We present a covariant formulation of the Gauss-Weingarten equations and the Gauss-Mainardi-Codazzi equations for surfaces in 3-dimensional curved spaces. We derive a coordinate invariant condition on the first and second fundamental form…
In this paper, we propose a feasible algorithm to give an explicit basis of the space of regular differential forms on the nonsingular projective model of any given plane algebraic curve. The algorithm is demonstrated for concrete examples,…
We develop a heuristic for the density of integer points on affine cubic surfaces. Our heuristic applies to smooth surfaces defined by cubic polynomials that are log K3, but it can also be adjusted to handle singular cubic surfaces. We…
We describe the computation of class groups and unit groups of number fields as implemented in Magma (V2.29). After quickly reviewing the main algorithms based on factor bases, relation collection, and analytic class number evaluation, we…