#### Filter Results:

- Full text PDF available (4)

#### Publication Year

2008

2017

- This year (3)
- Last 5 years (6)
- Last 10 years (7)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Gleb Pogudin
- MACIS
- 2015

- Manuel Kauers, Gleb Pogudin
- ArXiv
- 2017

It is well-known that the composition of a D-finite function with an algebraic function is again D-finite. We give the first estimates for the orders and the degrees of annihilating operators for the compositions. We find that the analysis of removable singularities leads to an order-degree curve which is much more accurate than the order-degree curve… (More)

- Gleb Pogudin
- ArXiv
- 2017

We compute the free energy of the planar monomer-dimer model. Unlike the classical planar dimer model, an exact solution is not known in this case. Even the computation of the lowdensity power series expansion requires heavy and nontrivial computations. Despite of the exponential computational complexity, we compute almost three times more terms than were… (More)

- Alexey Ovchinnikov, Gleb Pogudin, N. Thieu Vo
- ArXiv
- 2008

E↑ective di↑erential Nullstellensatz – page 1/19

- Manuel Kauers, Gleb Pogudin
- ISSAC
- 2017

- Richard Gustavson, Alexey Ovchinnikov, Gleb Pogudin
- ISSAC
- 2016

We compute an upper bound for the orders of derivatives in the Rosenfeld-Grobner algorithm. This algorithm computes a regular decomposition of a radical differential ideal in the ring of differential polynomials over a differential field of characteristic zero with an arbitrary number of commuting derivations. This decomposition can then be used to test for… (More)

The effective differential Nullstellensatz is a fundamental result in the computational theory of algebraic differential equations. It allows one to reduce problems about differential equations to problems about polynomial equations. In particular, it provides an algorithm for checking consistency of a system of algebraic differential equations and an… (More)

- ‹
- 1
- ›