Related papers: Computations of Mather Minimal Log Discrepancies
We describe an algorithm that allows to compute a minimal resolution of the Steenrod algebra. The algorithm has built-in knowledge about vanishing lines for the cohomology of sub Hopf algebras of the Steenrod algebra which makes it both…
Hassett and Keel predicted that there is a descending sequence of critical $\alpha$ values where the log canonical model for the moduli space of stable curves with respect to $\alpha \delta$ changes. We derive a conjectural formula for the…
We generalize the formula for the log canonical threshold(LCT) of plane curves over the complex numbers to arbitrary characteristics. Our proof relies purely on valuation theory, instead of on the theory of $D$-modules.
We consider the mass distribution of QCD jets after the application of jet substructure methods, specifically the mass-drop tagger, pruning, trimming and their variants. In contrast to most current studies employing Monte Carlo methods, we…
Recently examples of Riemannian homogeneous spaces with linear Jacobi relations were found. We calculate the Singer invariants of these spaces with the computer algebra program Maple and discuss the results by means of the Jet Isomorphism…
A survey on algorithms for computing discrete logarithms in Jacobians of curves over finite fields.
We present some results concerning the Saito module and the torsion submodule of an analytic plane curve, and we provide a method for computing them. Using this algorithm, we compute analytic invariants for plane curves with multiplicity…
A minimal separating set is found for the algebra of matrix invariants of several 2x2 matrices over an infinite field of arbitrary characteristic
In this short article, some properties of matrices of moving least-squares approximation have been proven.The used technique is based on singular-value decomposition and inequalities for singular-values. Some inequalities for the norm of…
We consider mappings satisfying an upper bound for the distortion of families of curves. We establish lower bounds for the distortion of distances under such mappings. As applications, we obtain theorems on the discreteness of the limit…
We describe algorithms for computing geometric invariants for Hilbert modular surfaces, and we report on their implementation.
The second largest accumulation point of the set of minimal log discrepancies of threefolds is $\frac{5}{6}$. In particular, the minimal log discrepancies of $\frac{5}{6}$-lc threefolds satisfy the ACC.
We present algorithms to compute the topology of 2D and 3D hyperelliptic curves. The algorithms are based on the fact that 2D and 3D hyperelliptic curves can be seen as the image of a planar curve (the Weierstrass form of the curve), whose…
We give an explicit formula for the log-canonical threshold of a reduced germ of plane curve. The formula depends only on the first two maximal contact values of the branches and their intersection multiplicities. We also improve the two…
Using the theory of jet schemes, we give a new approach to the description of a minimal generating sequence of a divisorial valuations on $\textbf{A}^2.$ For this purpose, we show how one can recover the approximate roots of an analytically…
We compute the dimension of the Hilbert scheme of subvarieties of positive dimension in projective space which are cut by maximal minors of a matrix with polynomial entries.
This paper designs an alogrithm to compute the minimal combinations of finite sets in Euclidean spaces, and applys the algorithm of study the moment maps and geometric invariant stability of hypersurfaces. The classical example of cubic…
The method for calculation of the canonical decomposition that approximates a tensor of high order is considered, which requires moderate computational resources. It is based on the replacement of the approximation error norm (global…
We derive simple formulas for the basic numerical invariants of a singular surface with Picard number one obtained by blowups and contractions of the four-line configuration in the plane. As an application, we establish the smallest…
We report on the computation of invariants, covariants, and contravariants of cubic surfaces. All algorithms are implemented in the computer algebra system magma.