Matrix_Tensor

MaRDI QIDQ43939swMATHFDO

Authors T.V.H. Prathamesh

Publication date 18 January 2016

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

Cited in

(7)

• Certified quantum computation in Isabelle/HOL
• Jordan Normal Forms
• Algebraic Numbers
• Sturm-Tarski Theorem
• Groebner_Bases
• Group-Ring-Module
• A formal proof of the expressiveness of deep learning

This page was built for software: Matrix_Tensor