Matrix Dependents

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