Matrix_Tensor

swMATH32228MaRDI QIDQ43939FDOQ43939

Author name not available (Why is that?)

Cited In (2)

• Certified quantum computation in Isabelle/HOL
• A formal proof of the expressiveness of deep learning

This page was built for software: Matrix_Tensor