Вы здесь

Главная

линейная алгебра

Связанные издания:

High Performance Computing for Computational Science - VECPAR 2010: Revised Selected Papers/9th International Conference, Berkeley,CA,USA, June 2010
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 2013
Mathematical Software - ICMS 2014: Proc./4th International Congress, Seoul, South Korea, August 2014
Numerical Methods and Applications: Revised Selected Papers/9th International Conference, NMA 2018, Borovets, Bulgaria, August 2018
Supercomputing Frontiers: Proc./5th Asian Conference, SCFA 2019, Singapore, March 2019
Автоматическая верификация программ линейной алгебры
Алгоритмы параллельных вычислений для задач линейной алгебры с матрицами нерегулярной структуры
К теории линейных групп
Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры