Can you summarize the following document?
        
  施特拉森演算法在1969年由提出來,是第一個時間複雜度低於formula_2的矩陣乘法演算法。由於演算法簡單理解,且為第一個被提出來的特性,常被演算法教材拿來當作主定理(英語:Master theorem)計算時間複雜度的例子。  另外,因為施特拉森演算法證明了矩陣乘法存在時間複雜度低於formula_2的演算法,使得更多學者投入研究,尋找更快的演算法。

  

  設formula_4、formula_5為域formula_6上的方矩陣。求兩者的積formula_7。一般矩陣可以填0的方法計算令它成為formula_8矩陣。

  將"A", "B", "C"分成相等大小的方塊矩陣:  即  於是  引入新矩陣  可得:  其中formula_27的計算也是使用施特拉森演算法求得。

  一般矩陣乘法的時間複雜度為formula_28,施特拉森演算法因為只有每次的分治法(英語:Divide and conquer algorithm)只有七個矩陣乘法運算,所以依照主定理(英語:Master theorem)可以得出時間複雜度為formula_1。但Strassen演算法的數值穩定性較差。  現時時間複雜度最低的矩陣乘法演算法是Coppersmith-Winograd方法的一種擴充套件方法,其演算法複雜度為formula_30)。
施特拉森演算法(英語:Strassen algorithm)是一個計算矩陣乘法的演算法,時間複雜度為formula_1。