Summary
- moved Matrix parts of Deep-Learning into JNF (as discussed with A. Bentkamp)
The file was added | thys/Jordan_Normal_Form/DL_Missing_List.thy |
The file was added | thys/Jordan_Normal_Form/DL_Missing_Matrix.thy |
The file was added | thys/Jordan_Normal_Form/DL_Missing_Sublist.thy |
The file was added | thys/Jordan_Normal_Form/DL_Missing_VS_Connect.thy |
The file was added | thys/Jordan_Normal_Form/DL_Missing_Vector_Space.thy |
The file was added | thys/Jordan_Normal_Form/DL_Rank.thy |
The file was added | thys/Jordan_Normal_Form/DL_Rank_Submatrix.thy |
The file was added | thys/Jordan_Normal_Form/DL_Submatrix.thy |
The file was modified | thys/Deep_Learning/DL_Concrete_Matrices.thy (diff) |
The file was modified | thys/Deep_Learning/DL_Deep_Model.thy (diff) |
The file was modified | thys/Deep_Learning/DL_Fundamental_Theorem_Network_Capacity.thy (diff) |
The file was modified | thys/Deep_Learning/DL_Network.thy (diff) |
The file was modified | thys/Deep_Learning/DL_Rank_CP_Rank.thy (diff) |
The file was modified | thys/Deep_Learning/ROOT (diff) |
The file was modified | thys/Deep_Learning/Tensor_Matricization.thy (diff) |
The file was modified | thys/Jordan_Normal_Form/ROOT (diff) |
The file was removed | thys/Deep_Learning/DL_Missing_List.thy |
The file was removed | thys/Deep_Learning/DL_Missing_Matrix.thy |
The file was removed | thys/Deep_Learning/DL_Missing_Sublist.thy |
The file was removed | thys/Deep_Learning/DL_Missing_VS_Connect.thy |
The file was removed | thys/Deep_Learning/DL_Missing_Vector_Space.thy |
The file was removed | thys/Deep_Learning/DL_Rank.thy |
The file was removed | thys/Deep_Learning/DL_Rank_Submatrix.thy |
The file was removed | thys/Deep_Learning/DL_Submatrix.thy |