Deep_Learning

swMATH32225MaRDI QIDQ43936FDOQ43936

Author name not available (Why is that?)

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

Cited In (8)

• Gröbner bases of modules and Faugère's \(F_4\) algorithm in Isabelle/HOL
• Jordan Normal Forms
• Groebner_Bases
• Group-Ring-Module
• Matrix_Tensor
• Polynomials
• A formal proof of the expressiveness of deep learning
• A formal proof of the expressiveness of deep learning

This page was built for software: Deep_Learning