Publisher
Springer International Publishing
Reference36 articles.
1. Maplesoft: a division of Waterloo Maple Inc., Maple 18 (2014)
2. Kozen, D., Barth, A.: Equational Verification of Cache Blocking in LU Decomposition using Kleene Algebra with Tests. Technical report, 10. http://hdl.handle.net/1813/5848 (2002)
3. Lecture Notes in Computer Science;C Barrett,2011
4. Barrett, R., et al.: Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods, vol. 43. SIAM (1994)
5. Bientinesi, P., Gunnels, J.A., Myers, M.E., Quintana-Ortí, E.S., van de Geijn, R.A.: The science of deriving dense linear algebra algorithms. ACM Trans. Math. Softw. 31(1), 1–26 (2005). https://doi.org/10.1145/1055531.1055532
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献