#### Filter Results:

- Full text PDF available (52)

#### Publication Year

1987

2015

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Marko Petkovsek
- J. Symb. Comput.
- 1992

We describe algorithm Hyper which can be used to find all hypergeometric solutions of linear recurrences with polynomial coefficients. 1. Introduction Let K be a field of characteristic zero. We assume that K is computable, meaning that the elements of K can be finitely represented and that there exist algorithms for carrying out the field operations. Let K… (More)

- Sergei A. Abramov, Marko Petkovsek
- J. Symb. Comput.
- 2002

We describe a multiplicative normal form for rational functions which exhibits the shift structure of the factors, and investigate its properties. On the basis of this form we propose an algorithm which, given a rational function R, extracts a rational part F from the product of consecutive values of R: n−1 k=n 0 R(k) = F (n) n−1 k=n 0 V (k) where the… (More)

- Manuel Bronstein, Marko Petkovsek
- Theor. Comput. Sci.
- 1996

Pseudo-linear algebra is the study of common properties of linear differential and difference operators. We introduce in this paper its basic objects (pseudo-derivations, skew polynomials, and pseudo-linear operators) and describe several recent algorithms on them, which, when applied in the differential and difference cases, yield algorithms for uncoupling… (More)

- Sergei A. Abramov, Manuel Bronstein, Marko Petkovsek
- ISSAC
- 1995

1 Introduction Let K be a field of characteristic O and L : K[Z]-+ K[Z] an endomorphism of the K-linear space of univariate poly-nomials over K. We consider the following computational tasks concerning L: Tl, T2< T3. Homogeneous equation Ly = O: Compute a basis of Ker L in K[z]. Inhomogeneous equation Ly = f: Given ~ 6 K[z], compute a basis of the affine… (More)

- Mireille Bousquet-Mélou, Marko Petkovsek
- Theor. Comput. Sci.
- 2003

We consider planar lattice walks that start from a prescribed position, take their steps in a given finite subset of Z 2 , and always stay in the quadrant x ≥ 0, y ≥ 0. We first give a criterion which guarantees that the length generating function of these walks is D-finite, that is, satisfies a linear differential equation with polynomial coefficients.… (More)

- Sergei A. Abramov, Marko Petkovsek
- ISSAC
- 2001

We present an algorithm which, given a hypergeometric term <i>T</i>(<i>n</i>), constructs hypergeometric terms <i>T</i><subscrpt>1</subscrpt>(<i>n</i>) and <i>T</i><subscrpt>2</subscrpt>(<i>n</i>) such that <i>T</i>(<i>n</i>) = <i>T</i><subscrpt>1</subscrpt>(<i>n</i> + 1) -<i>T</i><subscrpt>1</subscrpt>(<i>n</i>) + <i>T</i><subscrpt>2</subscrpt>(<i>n</i>),… (More)

Wilf and Zeilberger conjectured in 1992 that a hypergeometric term is proper-hypergeometric if and only if it is holonomic. We prove a version of this conjecture in the case of two discrete variables.

- Damijan Miklavcic, Gorazd Pucihar, +8 authors Gregor Sersa
- Bioelectrochemistry
- 2005

Muscle contractions present the main source of unpleasant sensations for patients undergoing electrochemotherapy. The contractions are a consequence of high voltage pulse delivery. Relatively low repetition frequency of these pulses (1 Hz) results in separate muscle contractions associated with each single pulse that is delivered. It would be possible to… (More)

- Marko Puc, Selma Corović, Karel Flisar, Marko Petkovsek, Janez Nastran, Damijan Miklavcic
- Bioelectrochemistry
- 2004

Electropermeabilization is a phenomenon that transiently increases permeability of the cell plasma membrane. In the state of high permeability, the plasma membrane allows ions, small and large molecules to be introduced into the cytoplasm, although the cell plasma membrane represents a considerable barrier for them in its normal state. Besides introduction… (More)

Fortunately, on 20 April 1977, all of this kludgery was rendered obsolete when I found a decision procedure for this problem. (A discrete analog to the Risch algorithm for indefinite integration.)