Related papers: Symbolic Computations of First Integrals for Polyn…
We introduce the DeterminantalRepresentations package for Macaulay2, which computes definite symmetric determinantal representations of real polynomials. We focus on quadrics and plane curves of low degree (i.e. cubics and quartics). Our…
Analytic interpolation problems with rationality and derivative constraints occur in many applications in systems and control. In this paper we present a new method for the multivariable case, which generalizes our previous results on the…
Elliptic bases, introduced by Couveignes and Lercier in 2009, give an elegant way of representing finite field extensions. A natural question which seems to have been considered independently by several groups is to use this representation…
The traditional first approach to fractional calculus is via the Riemann-Liouville differintegral $_{a}D_{x}^{k}$. The intent of this paper will be to create a space $K$, pair of maps $g: C^{\omega}(\mathbb{R}) \to K$ and $g': K \to…
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…
An alternative representation for the vector potential of the nonlinear magnetic insert for the Integrable Optics Test Accelerator (IOTA), first described in Sec. V.A. of the paper of Danilov and Nagaitsev, is determined from first…
We derive global analytic representations of fundamental solutions for a class of linear parabolic systems with full coupling of first order derivative terms where coefficient may depend on space and time. Pointwise convergence of the…
We state some generalizations of a theorem due to G. Darboux, which originally states that a polynomial vector field in the complex plane exhibits a rational first integral and has all its orbits algebraic provided that it exhibits…
We present a novel numerical method for solving ODEs while preserving polynomial first integrals. The method is based on introducing multiple quadratic auxiliary variables to reformulate the ODE as an equivalent but higher-dimensional ODE…
We introduce a novel mesh-free and direct method for computing the shape derivative in PDE-constrained shape optimization problems. Our approach is based on a probabilistic representation of the shape derivative and is applicable for…
The Painleve and weak Painleve conjectures have been used widely to identify new integrable nonlinear dynamical systems. The calculation of the integrals relies though on methods quite independent from Painlev\'e analysis. This paper…
We use an embedding of the symmetric $d$th power of any algebraic curve $C$ of genus $g$ into a Grassmannian space to give algorithms for working with divisors on $C$, using only linear algebra in vector spaces of dimension $O(g)$, and…
We have designed a new symbolic-numeric strategy to compute efficiently and accurately floating point Puiseux series defined by a bivariate polynomial over an algebraic number field. In essence, computations modulo a well chosen prime $p$…
In this paper we give efficient algorithms for computing second-, third-, and fourth-order linear recurrences. We also present an algorithm scheme for computing terms with the indices $N,\ldots,N+n-1$ of an $n$th-order linear recurrence.…
A new class of vector fields enabling the integration of first-order ordinary differential equations (ODEs) is introduced. These vector fields are not, in general, Lie point symmetries. The results are based on a relation between…
We give a definition of integration by quadratures of first-order ordinary differential equations, and recover a little known result by Maximovic which states that a first-order ordinary differential equation can be integrated by…
The paper contains integral representations for certain classes of exponentially growing solutions of second order periodic elliptic equations. These representations are the analogs of those previously obtained by S. Agmon, S. Helgason, and…
This talk describes how a combination of symbolic computation techniques with first-order theorem proving can be used for solving some challenges of automating program analysis, in particular for generating and proving properties about the…
This is a survey on the Darboux theory of integrability for polynomial vector fields, first in $\R^n$ and second in the $n$-dimensional sphere $\sss^n$. We also provide new results about the maximum number of parallels and meridians that a…
We propose the numerical methods for solution of the weakly regular linear and nonlinear evolutionary (Volterra) integral equation of the first kind. The kernels of such equations have jump discontinuities along the continuous curves…