ML p(r)ior | Reduction-Based Creative Telescoping for Algebraic Functions

### Reduction-Based Creative Telescoping for Algebraic Functions

2016-02-01
1602.00424 | cs.SC
Continuing a series of articles in the past few years on creative telescoping using reductions, we develop a new algorithm to construct minimal telescopers for algebraic functions. This algorithm is based on Trager's Hermite reduction and on polynomial reduction, which was originally designed for hyperexponential functions and extended to the algebraic case in this paper.

Highlights - Most important sentences from the article

# Related Articles

2017-11-16
1711.05994 | cs.FL

The present paper uses spectral theory of linear operators to construct approximately minimal realiz… show more

Highlights - Most important sentences from the article

2018-02-05
1802.01388 | cs.SC

Signature-based algorithms have become a standard approach for Gr\"obner basis computations for poly… show more

Highlights - Most important sentences from the article

2019-04-25
1904.11614 | cs.SC

We present a new algorithm for constructing minimal telescopers for rational functions in three disc… show more

Highlights - Most important sentences from the article

2019-05-10
1905.04187 | cs.SC

The coefficient sequences of multivariate rational functions appear in many areas of combinatorics. … show more

Highlights - Most important sentences from the article

2017-10-23
1710.08350 | cs.LO

We consider reasoning and minimization in systems of polynomial ordinary differential equations (ode… show more

Highlights - Most important sentences from the article

2019-01-27
1901.09423 | cs.CC

This paper presents a deterministic, strongly polynomial time algorithm for computing the matrix ran… show more

Highlights - Most important sentences from the article

2019-01-27
1901.09377 | cs.SC

We present criteria on the existence of telescopers for trivariate rational functions in four mixed … show more

Highlights - Most important sentences from the article

2019-01-25
1901.09029 | math.DG

Let $H$ be a hyperexponential function in $n$ variables $x=(x_1,\dots,x_n)$ with coefficients in a f… show more

Highlights - Most important sentences from the article

2019-04-08
1904.04299 | cs.CC

We prove new barrier results in arithmetic complexity theory, showing severe limitations of natural … show more

Highlights - Most important sentences from the article

2018-02-23
1802.08653 | math.NT

In 1994, Becker conjectured that if $F(z)$ is a $k$-regular power series, then there exists a $k$-re… show more

Highlights - Most important sentences from the article

2017-06-15
1706.04700 | cs.LO

It has been known since Ehrhard and Regnier's seminal work on the Taylor expansion of $\lambda$-term… show more

Highlights - Most important sentences from the article

2017-08-15
1708.04440 | cs.MS

Highlights - Most important sentences from the article

2018-10-13
1810.05865 | math.NT

This paper provides a Liouville principle for integration in terms of dilogarithm and partial result… show more

Highlights - Most important sentences from the article

2017-10-23
1710.08225 | cs.SC

Highlights - Most important sentences from the article

2017-07-31
1707.09979 | cs.SC

Highlights - Most important sentences from the article

2018-03-21
1803.07974 | math.AG

We consider the problem of finding the isolated common roots of a set of polynomial functions defini… show more

Highlights - Most important sentences from the article

2017-09-18
1709.06036 | cs.CC

The well-known DeMillo-Lipton-Schwartz-Zippel lemma says that $n$-variate polynomials of total degre… show more