CALCULATING PROOFS ON A COMPUTER IN STUDIES OF THE PROPERTIES OF LINEAR MAPPINGS IN FINITE-DIMENSIONAL SPACES

被引：0
作者：
BALK, PI
机构：
来源：
CYBERNETICS | 1986年 / 22卷 / 05期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：666 / 674
页数：9
相关论文
共 8 条
[1]  
BALK PI, 1979, DOKL AKAD NAUK SSSR+, V245, P337
[2]  
BALK PI, 1979, DOKL AKAD NAUK SSS B, P3
[3]   ANALYTICAL CALCULATIONS IN PHYSICS AND MATHEMATICS USING COMPUTERS [J].
GERDT, VP ;
TARASOV, OV ;
SHIRKOV, DV .
USPEKHI FIZICHESKIKH NAUK, 1980, 130 (01) :113-147
[4]  
Glushkov V. M., 1970, KIBERNETIKA, P3
[5]  
Gradshteyn I. S., 1971, TABLE INTEGRALS SUMS
[6]  
PANKOV PS, 1982, KIBERNETIKA, P111
[7]  
PANKOV PS, 1978, KIBERNETIKA, P119
[8]  
TIKHONOV AN, 1979, METHODS SOLUTION INC
1