ON A CONSTRUCTIVE DEVELOPMENT OF GALOIS THEORY

被引：0

|

作者：

ROSS, AE

MATTHEWS, T

机构：

来源：

BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY | 1948年 / 54卷 / 07期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：651 / 652

页数：2

相关论文

共 50 条

[1] CONSTRUCTIVE GALOIS THEORY
MATZAT, BH
LECTURE NOTES IN MATHEMATICS, 1987, 1284 : 1 - &
[2] CONSTRUCTIVE METHODS OF GALOIS THEORY
GIRSTMAIR, K
MANUSCRIPTA MATHEMATICA, 1979, 26 (04) : 423 - 441
[3] 2 ASPECTS OF CONSTRUCTIVE GALOIS THEORY
MATZAT, BH
JOURNAL OF ALGEBRA, 1985, 96 (02) : 499 - 531
[4] TOPOLOGICAL AUTOMORPHISMS IN CONSTRUCTIVE GALOIS THEORY
MATZAT, BH
JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 1986, 371 : 16 - 45
[5] COMPUTATIONAL METHODS IN CONSTRUCTIVE GALOIS THEORY
MATZAT, BH
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 296 : 137 - 155
[6] On the constructive inverse problem in differential Galois theory
Cook, WJ
Mitschi, C
Singer, MF
COMMUNICATIONS IN ALGEBRA, 2005, 33 (10) : 3639 - 3665
[7] Constructive Galois Connections
Darais, David
Van Horn, David
JOURNAL OF FUNCTIONAL PROGRAMMING, 2019, 29
[8] Constructive Galois Connections Taming the Galois Connection Framework for Mechanized Metatheory
Darais, David
Van Horn, David
ACM SIGPLAN NOTICES, 2016, 51 (09) : 311 - 324
[9] GALOIS VERSION OF GALOIS THEORY
EDWARDS, HM
AMERICAN MATHEMATICAL MONTHLY, 1983, 90 (10): : C113 - C113
[10] A CONSTRUCTIVE DEVELOPMENT OF TSCHEBYSCHEV APPROXIMATION-THEORY
BRIDGES, DS
JOURNAL OF APPROXIMATION THEORY, 1980, 30 (02) : 99 - 120

← 1 2 3 4 5 →