A HOL Theory of the Differential for Matrix Functions.

Yuhan Nie, Zhiping Shi, Aixuan Wu, Ximeng Li, Guohui Wang, Yong Guan

Browse the full TASE paper archive.