### 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.

**Login to like/save this paper, take notes and configure your recommendations**

# 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

**2018-02-05**

1802.01388 | cs.SC

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

**2019-04-25**

1904.11614 | cs.SC

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

**2019-05-10**

1905.04187 | cs.SC

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

**2017-10-23**

1710.08350 | cs.LO

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

**2019-01-27**

1901.09423 | cs.CC

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

**2019-01-27**

1901.09377 | cs.SC

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

**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

**2019-04-08**

1904.04299 | cs.CC

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

**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

**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

**2017-08-15**

1708.04440 | cs.MS

We propose a platform-independent multi-threaded function library that
provides data structures to g… show more

**2018-10-13**

1810.05865 | math.NT

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

**2017-10-23**

1710.08225 | cs.SC

In this article we show how to generalize to the Darbouxian, Liouvillian and
Riccati case the extact… show more

**2017-07-31**

1707.09979 | cs.SC

In this article we determine a generating set of rational invariants of
minimal cardinality for the … show more

**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

**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