Executable Matrix Operations on Matrices of Arbitrary Dimensions

MaRDI QIDQ7361212FDO

Authors Christian Sternagel, René Thiemann

Publication date 17 June 2010

Cites work

• Arctic Termination ...Below Zero
• Certification of Termination Proofs Using CeTA
• From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals
• Matrix interpretations for proving termination of term rewriting

Cited in

(5)

• A Formalization of Knuth–Bendix Orders
• Polynomial Factorization
• Executable Transitive Closures of Finite Relations
• Executable Multivariate Polynomials
• Tensor Product of Matrices

This page was built for software: Executable Matrix Operations on Matrices of Arbitrary Dimensions