## Computing and Proving with Integro-Differential Polynomials in Theorema

by
Loredana Tec

Citations: | 1 - 0 self |

### BibTeX

@MISC{Tec_computingand,

author = {Loredana Tec},

title = {Computing and Proving with Integro-Differential Polynomials in Theorema},

year = {}

}

### OpenURL

### Abstract

Integro-differential polynomials are a novel generalization of the well-known differential polynomials extensively used in differential algebra [17]. They were introduced in [29] as a kind of universal extensions of integro-differential algebras and have recently been applied in a confluence proof [34] for the rewrite system