Matrix Operations

MaRDI QIDQ40505swMATHFDO

Authors Christian Sternagel, René Thiemann

Publication date 17 June 2010

Official website https://www.isa-afp.org/entries/Matrix.html

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

(1)

• Formalizing complex plane geometry

This page was built for software: Matrix Operations