Related papers: Elementary Integration of Superelliptic Integrals

The integrability problem of rational first-order ODEs $y^{\prime}=\frac{M(x,y)}{N(x,y)}$, where $M,N \in \mathbb{R}[x,y]$ is a long-term research focus in the area of dynamical systems, physics, etc. Although the computer algebra system…

Here we present a very efficient method to search for Liouvillian first integrals of second order rational ordinary differential equations (rational 2ODEs). This new algorithm can be seen as an improvement to the S-function method we have…

We present two new algorithms for the computation of the q-integer linear decomposition of a multivariate polynomial. Such a decomposition is essential for the treatment of q-hypergeometric symbolic summation via creative telescoping and…

We describe several algorithms for computing $e$-th roots of elements in a number field $K$, where $e$ is an odd prime-power integer. In particular we generalize Couveignes' and Thom\'e's algorithms originally designed to compute…

This note is purely expository. We show how in the course of the Kolmogorov-Arnold solution of Hilbert's 13-th problem on superpositions there appeared the notion of a basic embedding. A subset K of R^2 is {\it basic} if for each continuous…

We propose and analyze a new hybridizable discontinuous Galerkin (HDG) method for second-order elliptic problems. Our method is obtained by inserting the $L^2$-orthogonal projection onto the approximate space for a numerical trace into all…

For a superelliptic curve $\mathcal X$, defined over $\mathbb Q$, let $\mathfrak p$ denote the corresponding moduli point in the weighted moduli space. We describe a method how to determine a minimal integral model of $\mathcal X$ such…

Let F:K be a Galois extension of number fields and Q a prime ideal of O_F lying over the prime P of O_K. By analyzing the Q-adic closure of O_K in O_F we characterize those rings of integers O_K for which every residue class ring of…

We study several classes of operadic ideals of the unital associative algebra operad $\uas$. As an application, we classify quotient operads of $\uas$ of GK-dimension $\leq 6$. This corresponds to a classification of all T-ideals of…

Let $X$ and $Y$ be finite simplicial sets (e.g. finite simplicial complexes), both equipped with a free simplicial action of a finite group $G$. Assuming that $Y$ is $d$-connected and $\dim X\le 2d$, for some $d\geq 1$, we provide an…

We develop a boundary integral equation solver for elliptic partial differential equations on complex \threed geometries. Our method is efficient, high-order accurate and robustly handles complex geometries. A key component is our singular…

Numerical integration (NI) packages commonly used in scientific research are limited to returning the value of a definite integral at the upper integration limit, also commonly referred to as numerical quadrature. These quadrature…

We investigate the arithmetic formula complexity of the elementary symmetric polynomials S(k,n). We show that every multilinear homogeneous formula computing S(k,n) has size at least k^(Omega(log k))n, and that product-depth d multilinear…

We introduce an extended Kepler-Coulomb quantum model in spherical coordinates. The Schr\"{o}dinger equation of this Hamiltonian is solved in these coordinates and it is shown that the wave functions of the system can be expressed in terms…

Let $P(x)$ be a real polynomial of degree $2g+1$, $H=y^2+P(x)$ and $\delta(h)$ be an oval contained in the level set $\{H=h\}$. We study complete Abelian integrals of the form $$I(h)=\int_{\delta(h)} \frac{(\alpha_0+\alpha_1 x+... +…

We compute the integrands of five-, six-, and seven-point correlation functions of twenty-prime operators with general polarizations at the two-loop order in N=4 super Yang-Mills theory. In addition, we compute the integrand of the…

It is shown that for every problem within dimensional regularization, using the Integration-By-Parts method, one is able to construct a set of master integrals such that each corresponding coefficient function is finite in the limit of…

The classical continuous finite element method with Lagrangian $Q^k$ basis reduces to a finite difference scheme when all the integrals are replaced by the $(k+1)\times (k+1)$ Gauss-Lobatto quadrature. We prove that this finite difference…

The main result of the present paper is the construction of fundamental solutions for a class of multidimensional elliptic equations with three singular coefficients, which could be expressed in terms of a confluent hypergeometric function…

Exponential integrators based on contour integral representations lead to powerful numerical solvers for a variety of ODEs, PDEs, and other time-evolution equations. They are embarrassingly parallelizable and lead to global-in-time…