Appendix: Conjectures concerning proof, design, and verification

被引：0

|

作者：

Wos, L ^{[1
]}

机构：

[1] Argonne Natl Lab, Div Math & Comp Sci, Argonne, IL 60439 USA

来源：

THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS | 2000年 / 1869卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：526 / 533

页数：8

相关论文

共 50 条

[31] Proof of some congruence conjectures of Guo and Liu
Mao, Guo-Shuai
[J]. RAMANUJAN JOURNAL, 2019, 48 (02): : 233 - 244
[32] Proof of conjectures involving algebraic connectivity of graphs
Das, Kinkar Ch.
[J]. LINEAR ALGEBRA AND ITS APPLICATIONS, 2013, 438 (08) : 3291 - 3302
[33] A Unified Proof of Conjectures on Cycle Lengths in Graphs
Gao, Jun
Huo, Qingyi
Liu, Chun-Hung
Ma, Jie
[J]. INTERNATIONAL MATHEMATICS RESEARCH NOTICES, 2022, 2022 (10) : 7615 - 7653
[34] A P-ADIC PROOF OF WEILS CONJECTURES
LUBKIN, S
[J]. ANNALS OF MATHEMATICS, 1968, 87 (01) : 105 - &
[35] PROOF OF SOME CONJECTURES INVOLVING QUADRATIC RESIDUES
Petrov, Fedor
Sun, Zhi-Wei
[J]. ELECTRONIC RESEARCH ARCHIVE, 2020, 28 (02): : 589 - 597
[36] PROOF, DISPROOF AND ADVANCES CONCERNING CERTAIN CONJECTURES ON REAL QUADRATIC FIELDS Q(ROOT-N-2+4)
MOLLIN, RA
WILLIAMS, HC
[J]. CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1995, 47 (05): : 1023 - 1036
[37] Renegotiation-proof mechanism design with imperfect type verification
Silva, Francisco
[J]. THEORETICAL ECONOMICS, 2019, 14 (03) : 971 - 1014
[38] A P-ADIC PROOF OF WEILS CONJECTURES
LUBKIN, S
[J]. ANNALS OF MATHEMATICS, 1968, 87 (02) : 195 - &
[39] A COMPUTER-ASSISTED PROOF OF THE FEIGENBAUM CONJECTURES
LANFORD, OE
[J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1982, 6 (03) : 427 - 434
[40] Proof of some congruence conjectures of Guo and Liu
Guo-Shuai Mao
[J]. The Ramanujan Journal, 2019, 48 : 233 - 244

← 1 2 3 4 5 →