Related papers: About Gordan's algorithm for binary forms
A new algorithms for computing discrete logarithms on elliptic curves defined over finite fields is suggested. It is based on a new method to find zeroes of summation polynomials. In binary elliptic curves one is to solve a cubic system of…
This paper introduces a novel framework for constructing invariants in $G$-equivariant birational geometry by unifying two recent approaches: the theory of atoms recently developed by Katzarkov, Kontsevich, Pantev, and Yu, and the theory of…
A novel algorithm is proposed for the interpolation step of the Guruswami-Sudan list decoding algorithm. The proposed method is based on the binary exponentiation algorithm, and can be considered as an extension of the Lee-O'Sullivan…
Previously the second author has constructed by cobordism methods, an invariant associated to a finite group $G$. This invariant approximates the number of subgroups of a group, giving in some cases the number of abelian and cyclic…
Given a link or a tangle diagram, we define algorithmic Morse theoretic simplifications on their Khovanov homology. In contrast to Bar-Natan's scanning algorithm, the cancellations are postponed until the end and performed in one go.…
We present in this paper first-order alternating linearization algorithms based on an alternating direction augmented Lagrangian approach for minimizing the sum of two convex functions. Our basic methods require at most $O(1/\epsilon)$…
Explicit expressions are given for the actions and radial matrix elements of basic radial observables on multi-dimensional spaces in a continuous sequence of orthonormal bases for unitary SU(1,1) irreps. Explicit expressions are also given…
We introduce a doubled formalism for the bosonic sector of the maximal supergravities, in which a Hodge dual potential is introduced for each bosonic field (except for the metric). The equations of motion can then be formulated as a twisted…
In hep-th/0411028 a new manifestly covariant canonical quantization method was developed. The idea is to quantize in the phase space of arbitrary histories first, and impose dynamics as first-class constraints afterwards. The Hamiltonian is…
An algorithm to generate a minimal comprehensive Gr\"obner\, basis of a parametric polynomial system from an arbitrary faithful comprehensive Gr\"obner\, system is presented. A basis of a parametric polynomial ideal is a comprehensive…
We provide a systematic way to design computable bilinear forms which, on the class of subspaces $W^* \subseteq \mathcal{V}'$ that can be obtained by duality from a given finite dimensional subspace $W$ of an Hilbert space $\mathcal{V}$,…
Let F denote a binary form of order d over the complex numbers. If r is a divisor of d, then the Hilbert covariant H_{r,d}(F) vanishes exactly when F is the perfect power of an order r form. In geometric terms, the coefficients of H give…
We study local generalized additive decompositions (GADs) of homogeneous polynomials and their associated point schemes through their local inverse systems. We prove that their construction and algebraic properties are independent of the…
The main aim of this paper is to introduce a new version of the Fokas-Gel'fand formula for immersion of soliton surfaces in Lie algebras. The paper contains a detailed exposition of the technique for obtaining exact forms of 2D-surfaces…
We present a unified approach to study properties of Toeplitz localization operators based on the Calder\'on and Gabor reproducing formula. We show that these operators with functional symbols on a plane domain may be viewed as certain…
In 1978, M. J. Cowen and R.G. Douglas introduce a class of operators (known as Cowen-Douglas class of operators) and associates a Hermitian holomorphic vector bundle to such an operator in a very influential paper. They give a complete set…
We introduce the notion of a Bredon-style equivariant coarse homology theory. We show that such a Bredon-style equivariant coarse homology theory satisfies localization theorems and that a general equivariant coarse homology theory can be…
A formula for computation of the bivariate Poincar\'e series $\mathcal{P}_d(z,t)$ for the algebra of covariants of binary $d$-form is found.
In this paper we prove a useful formula for the graded commutator of the Hodge codifferential with the left wedge multiplication by a fixed $p$-form acting on the de Rham algebra of a Riemannian manifold. Our formula generalizes a formula…
This paper depicts an algorithm for solving the Decision Boolean Satisfiability Problem using the binary numerical properties of a Special Decision Satisfiability Problem, parallel execution, object oriented, and short termination. The two…