期刊文献+

Bager第四图的完善 被引量:1

PERFECTING THE BAGER'S FOURTH GRAPH
下载PDF
导出
摘要 1989年发表的Bager第四图,包含了关于三角形元素的30个负一次规范函数之间的36个不等式。通过细致的分析。 This paper gives further relations in the Bager's fourth graph (page 226of Mitrinovic, Pecaric, Volenec,Recent Advances in Geometric Inequalities),namely ,h≤e,c≤B,i≤m,B≤0,A≤C,n≤C,C≤p,D≤v,I≤N and thus three original inequalities can be replaced.
出处 《宁波大学学报(理工版)》 CAS 1997年第3期74-78,共5页 Journal of Ningbo University:Natural Science and Engineering Edition
关键词 Bager第四图 三角形 负一次不等式 Bager's fourth graph triangle inequality of the negative first order
  • 相关文献

同被引文献16

  • 1陈计,夏时洪,虞立军.Bager第六图的完善[J].宁波大学学报(理工版),1998,11(3):52-56. 被引量:1
  • 2陈计.Bager第二图的改进[J].宁波大学学报(理工版),1994,7(2):10-15. 被引量:1
  • 3[1]Church Alonzzo. A note on the Entscheidungsproblem[J]. The Journa of Symblic Logic, 1936,1:40~41.
  • 4[2]Turing Alan Mathison. On computable number, with an application to the Entscheidungsproblem[J]. Proceedings London Mathematical Society, Series 2,1937,42:230 ~ 265.
  • 5[4]Gentzen Gerhard. Untersuchungen ber das logische Schliessen Ⅰ und Ⅱ [J]. Mathematishe Zeitschrift, 1934,39:176~210,405 ~431.
  • 6[5]Kleene Stephen Cole.元数学导论(上、下册)[M]北京:科学出版社,1985.
  • 7[6]Helbert David,Ackermann Wilhelm.数理逻辑基础[M].北京:科学出版社,1958.
  • 8[7]Ackermann Wilhelm. Solvable Cases of the Decision Problem[M]. Amsterdam: North- Holland Publishing Company, 1954.
  • 9[8]Dreben Burton S, Goldfarb Warren D. The Decision Problem: Solvable Classes of Quantificational Formulas[M]. Ontario:Addison-Wesley Publishing Company, 1979.
  • 10[9]Lowenheim Leopold. Uber Moglichkeiten im Relativkalkül[ J ]. Mathematische Annalen, 1915,76: 447 ~ 470.

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部