Matrix_Tensor
From MaRDI portal
Software:43939
No author found.
Related Items (2)
Certified quantum computation in Isabelle/HOL ⋮ A formal proof of the expressiveness of deep learning
This page was built for software: Matrix_Tensor