相关论文: Computing the space of differential forms of a pla…
A differential calculus on an associative algebra A is an algebraic analogue of the calculus of differential forms on a smooth manifold. It supplies A with a structure on which dynamics and field theory can be formulated to some extent in…
We recover the Riemannian gradient of a given function defined on interior points of a Riemannian submanifold in the Euclidean space based on a sample of function evaluations at points in the submanifold. This approach is based on the…
Weighted projective space arises when we consider the usual geometric definition for projective space and allow for non-trivial weights. On its own, this extra freedom gives rise to more than enough interesting phenomena, but it is the fact…
We present novel, deterministic, efficient algorithms to compute the symmetries of a planar algebraic curve, implicitly defined, and to check whether or not two given implicit planar algebraic curves are similar, i.e. equal up to a…
This paper is devoted to study of differential calculi over quadratic algebras, which arise in the theory of quantum bounded symmetric domains. We prove that in the quantum case dimensions of the homogeneous components of the graded vector…
We provide an explicit algorithm to compute a Massey triple product relative to a defining system for a smooth projective plane curve $X$ defined by a homogeneous polynomial $G(\underline x)$ over a field. The main idea is to use the…
Starting with the first-order singular Lagrangian, the canonical structures of the noncommutative quantum system on a submanifold embedded in the higher-dimensional Euclidean space are investigated with the projection operator method (POM)…
A characteristic feature of differential-algebraic equations is that one needs to find derivatives of some of their equations with respect to time, as part of so called index reduction or regularisation, to prepare them for numerical…
Let ${\mathcal C}$ be a fixed equisingularity class of irreducible germs of complex analytic plane curves. We compute a basis of the ${\mathbb C}[[x]]$-module of K\"ahler differentials for generic $\Gamma \in {\mathcal C}$, algorithmically,…
We introduce an alternative formalization of curved spaces in which the concept of a pointwise affine space, as defined here, replaces that of a manifold. New or modified definitions of familiar notions from differential geometry such as…
This paper studies binary quadratic programs in which the objective is defined by a Euclidean distance matrix, subject to a general polyhedral constraint set. This class of nonconcave maximisation problems includes the capacitated,…
In this article, we derive a theoretical formalism that unifies the rigorous coupled wave analysis and the dynamical diffraction theory. Based on this formalism, we design a computational approach for the diffraction calculation for the…
We give a computationally efficient method for constructing the linear differential operator with polynomial coefficients whose space of holomorphic solutions is spanned by all the branches of a function defined by a generic algebraic…
Let $\mathcal C$ be a real plane algebraic curve defined by the resultant of two polynomials (resp. by the discriminant of a polynomial). Geometrically such a curve is the projection of the intersection of the surfaces $P(x,y,z)=Q(x,y,z)=0$…
In this paper, we consider a class of plane curves called log-aesthetic curves and their generalization which are used in computer aided geometric design. We consider these curves in the framework of the similarity geometry and characterize…
Quantum computers are known to provide an exponential advantage over classical computers for the solution of linear differential equations in high-dimensional spaces. Here, we present a quantum algorithm for the solution of nonlinear…
The underlying algebra for a noncommutative geometry is taken to be a matrix algebra, and the set of derivatives the adjoint of a subset of traceless matrices. This is sufficient to calculate the dual 1-forms, and show that the space of…
We derive recursive equations for the characteristic numbers of rational nodal plane curves with at most one cusp, subject to point conditions, tangent conditions and flag conditions, developing techniques akin to quantum cohomology on a…
This paper contains an attempt to formulate rigorously and to check predictions in enumerative geometry of curves following from Mirror Symmetry. The main tool is a new notion of stable map. We give an outline of a contsruction of…
We give an algorithm to compute inhomogeneous differential equations for definite integrals with parameters. The algorithm is based on the integration algorithm for $D$-modules by Oaku. Main tool in the algorithm is the Gr\"obner basis…