首页> 外文OA文献 >Formal analysis of the Schulz matrix inversion algorithm: A paradigm towards computer aided verification of general matrix flow solvers

【2h】

Formal analysis of the Schulz matrix inversion algorithm: A paradigm towards computer aided verification of general matrix flow solvers

机译：Schulz矩阵反演算法的正式分析：一种朝向一般矩阵流量求解的计算机辅助验证的范例

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
相似文献
相关主题

著录项

作者
Vassilios A. Tsachouridis; Georgios Giantamidis; Stylianos Basagiannis; Kostas Kouramas;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. FORMAL ANALYSIS OF THE SCHULZ MATRIX INVERSION ALGORITHM: A PARADIGM TOWARDS COMPUTER AIDED VERIFICATION OF GENERAL MATRIX FLOW SOLVERS [J] . Numerical Algebra, Control and Optimization . 2020,第2期

机译：Schulz矩阵反演算法的正式分析：一种朝向一般矩阵流量求解的计算机辅助验证的范例
2. Neural Network Using Genetic Algorithms (NN using GA) for Solving Systems of Linear Equations and Finding the Inversion of a Matrix [J] . Z. Ghassabi, B. Moaveni, A. Khaki-Sedigh WSEAS Transactions on Computers . 2007,第3期

机译：遗传算法的神经网络（使用GA的神经网络）求解线性方程组并求矩阵求逆
3. Computer aided solving the high-order transition probability matrix of the finite Markov chain [J] . Li ZQ, Wang WM Applied mathematics and computation . 2006,第1期

机译：计算机辅助求解有限马尔可夫链的高阶跃迁概率矩阵
4. A multilevel #x210C;-matrix-based approximate matrix inversion algorithm for vectorless power grid verification [C] . Wei Zhao, Yici Cai, Jianlei Yang 2013 18th Asia and South Pacific Design Automation Conference . 2013

机译：一种基于多级ℌ矩阵的近似矩阵求逆算法，用于无矢量电网校验
5. A new signal flow matrix fraction description technique for computer-aided frequency domain analysis of linear active networks [D] . Husseini, Radwan M. 1996

机译：用于线性有源网络的计算机辅助频域分析的新信号流矩阵分数描述技术
6. Matrix algorithms for solving (in)homogeneous bound state equations [O] . M. Blank, A. Krassnigg -1

机译：求解（内部）齐次约束状态方程的矩阵算法
7. A Hierarchical Matrix Inversion Algorithm for Vectorless Power Grid Verification [O] . Xuanxing Xiong, Jia Wang 2014

机译：无矢量电网验证的分层矩阵求逆算法
8. Computer-Aided Discovery of a Fast Matrix-Multiplication Algorithm. [R] . johnson,rodney w. mcloughlin, aileen m. 1979

机译：计算机辅助发现快速矩阵乘法算法。

Formal analysis of the Schulz matrix inversion algorithm: A paradigm towards computer aided verification of general matrix flow solvers

著录项

相似文献

相关主题

期刊订阅