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

Reduction-Based Creative Telescoping for Algebraic Functions

2016-02-01
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.
PDF

Highlights - Most important sentences from the article

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

Related Articles

2017-11-16

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

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
PDF

Highlights - Most important sentences from the article

2019-04-25

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

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
PDF

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
PDF

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
PDF

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
PDF

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
PDF

Highlights - Most important sentences from the article

2019-04-08

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

Highlights - Most important sentences from the article

2018-02-23

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

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
PDF

Highlights - Most important sentences from the article

2017-08-15
1708.04440 | cs.MS

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

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
PDF

Highlights - Most important sentences from the article

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
PDF

Highlights - Most important sentences from the article

2017-07-31

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

Highlights - Most important sentences from the article

2018-03-21

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

Highlights - Most important sentences from the article

2017-09-18

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