期刊文献+

一个三角不定方程的机器解法

AUTOMATED SOLVING METHODS FOR A TRIGONOMETRIC INDETERMINATE EQUATION
原文传递
导出
摘要 研究了如下具有几何意义的三角不定方程(采用角度制)sin(x°)sin(y°)sin(z°)/sin(A°-x°)sin(B°-y°)sin(C°-z°)=1其中A,B,C是给定的正整数,满足2≤A≤B≤C且A+B+C=180;1≤x≤A-1,1≤y≤B-1,1≤x≤C-1.设计了两种求解方案,使用计算机按两种求解方案完整的求出了上述方程的所有正整数解. This paper studies the following trigonometric indeterminate equation with geometric significance (using degree measure) where A,B,C are given positive integers satisfying 2 ≤ A≤ B≤ C,A+B+C -- 180, 1 ≤ x ≤ A- 1, 1 ≤ y ≤ B-1, 1 ≤ z ≤C- 1. Two methods to the above equation are formulated. Following these two methods, all positive integer solutions of the equation are obtained via computer.
作者 徐嘉 姚勇
出处 《系统科学与数学》 CSCD 北大核心 2011年第7期786-793,共8页 Journal of Systems Science and Mathematical Sciences
基金 国家自然科学基金(11001228 90718041 10901116) 西南民族大学中央高校基本科研业务费专项资金资助项目(09NZYZJ07) 上海市高可信计算重点实验室开放课题资助项目
关键词 不定方程 机器求解. Indeterminate equation, automated solving.
  • 相关文献

参考文献16

  • 1吴文俊.数学机械化.北京:科学出版社,2004. 被引量:1
  • 2杨路等著..非线性代数方程组与定理机器证明[M].上海:上海科技教育出版社,1996:203.
  • 3Cox D, Little J, O'Shea D. Using Algebraic Geometry. New York: Springer-Verlag, 1998. 被引量:1
  • 4Buchberger B. Grobner bases: An algorithmic method in polynomial ideal theory. Multidimen- sional Systems Theory, Dordrecht: Reidel, 1985. 被引量:1
  • 5Collins G E and Hong H. Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation, 1991, (12): 299-328. 被引量:1
  • 6Chou S C, Zhang J Z, Gao X S. Machine proofs in geometry: Automated production of readable proofs for geometry theorems. World Scientific, 1994. 被引量:1
  • 7Zhang J Z, Yang L and Deng M K. The parallel numerical method of mechanical theorem proving. Theoretical Computer Science, 1990, 74(3): 253-271. 被引量:1
  • 8程民德主编..中国数学发展的若干主攻方向[M].南京:江苏教育出版社,1994:458.
  • 9Atiyah M.数学的统一性.袁向东编译.大连:大连理工大学出版社,2009:144-157. 被引量:1
  • 10杨路.不等式机器证明的降维算法与通用程序[J].高技术通讯,1998,8(7):20-25. 被引量:30

二级参考文献25

共引文献40

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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