Formalization of Matrix Theory in HOL4

Shi, Z. P., Liu, Z. K., Guan, Y., Ye, S. W., Zhang, J., & Wei, H. X. (2014). Formalization of Function Matrix Theory in HOL. Journal of Applied Mathematics, 2014(), 199-208-117. https://doi.org/10.1155/2014/201214
Cichocki, A., Mørup, M., Smaragdis, P., Wang, W., & Zdunek, R. (2008). Advances in Nonnegative Matrix and Tensor Factorization. Computational Intelligence and Neuroscience, 2008(), 104-106. https://doi.org/10.1155/2008/852187
Selvaraj, C. R., & Selvaraj, S. (2008). Matrix Transformations and Disk of Convergence in Interpolation Processes. International Journal of Mathematics and Mathematical Sciences, 2008(), 868-878. https://doi.org/10.1155/2008/905635
Gong, L., Chen, S., & Xu, Q. (2016). A Micro-lecture of Central Limit Theorem Focusing on Both Theory and Application. International Journal of Modern Education Forum, 5(), 67-70. https://doi.org/10.14355/ijmef.2016.05.013
Martínez, B. M. V., Eguibar, F. S., & Cessa, H. M. M. (2016). Application of Perturbation Theory to a Master Equation. Advances in Mathematical Physics, 2016(), 1105-1111. https://doi.org/10.1155/2016/9265039