Matrix_Tensor

swMATH32228MaRDI QIDQ43939FDOQ43939

Author name not available (Why is that?)

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

Cited In (7)

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

This page was built for software: Matrix_Tensor