## 2020

##### A Formalization of Knuth–Bendix Orders

by Christian Sternagel and René Thiemann
May 13

## 2016

##### Polynomial Factorization

by René Thiemann and Akihisa Yamada
Jan 29

##### Tensor Product of Matrices

by T.V.H. Prathamesh
Jan 18

## 2011

##### Executable Transitive Closures of Finite Relations

by Christian Sternagel and René Thiemann
Mar 14

## 2010

##### Executable Multivariate Polynomials

by Christian Sternagel, René Thiemann, Alexander Maletzky, Fabian Immler, Florian Haftmann, Andreas Lochbihler and Alexander Bentkamp
Aug 10