MEANING AND A CONSTRUCTIVE PROOF OF MENGER'S THEOREM FOR MATROIDS.

被引：0

|

作者：

Tomizawa, Nobuaki

机构：

来源：

Electronics and Communications in Japan (English translation of Denshi Tsushin Gakkai Zasshi) | 1976年 / 59卷 / 06期

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

MATHEMATICAL TECHNIQUES

引用

收藏

页码：47 / 56

相关论文

共 50 条

[31] A generalization of Menger's Theorem
Mathew, Sunil
Sunitha, M. S.
APPLIED MATHEMATICS LETTERS, 2011, 24 (12) : 2059 - 2063
[32] A short and constructive proof of Tarski’s fixed-point theorem
Federico Echenique
International Journal of Game Theory, 2005, 33 : 215 - 218
[33] A short and constructive proof of Tarski's fixed-point theorem
Echenique, F
INTERNATIONAL JOURNAL OF GAME THEORY, 2005, 33 (02) : 215 - 218
[34] A CONSTRUCTIVE PROOF OF A THEOREM OF DERHAM,G.
SIMON, J
COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1993, 316 (11): : 1167 - 1172
[35] A constructive and formal proof of Lebesgue's Dominated Convergence Theorem in the interactive theorem prover Matita
Sacerdoti Coen, Claudio
Tassi, Enrico
JOURNAL OF FORMALIZED REASONING, 2008, 1 (01): : 51 - 89
[36] A constructive proof of the Beurling-Rudin theorem
Mortini, R
STUDIA MATHEMATICA, 1998, 129 (01) : 51 - 58
[37] CONSTRUCTIVE PROOF OF HILBERTS THEOREM ON ASCENDING CHAINS
SEIDENBERG, A
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 174 (447) : 305 - 312
[38] A REAL ANALYTIC CONSTRUCTIVE PROOF OF THE LOJASIEWICZ THEOREM
STRZEBONSKI, AW
COMMUNICATIONS IN ALGEBRA, 1994, 22 (01) : 41 - 50
[39] A constructive proof of Beurling-Lax theorem
Qiuhui Chen
Tao Qian
Chinese Annals of Mathematics, Series B, 2015, 36 : 141 - 146
[40] A SIMPLE CONSTRUCTIVE PROOF OF AN ANALOG OF THE CORONA THEOREM
VONRENTELN, M
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1981, 83 (02) : 299 - 303

← 1 2 3 4 5 →