翻转研究 批量发现——谈基于软件的数学发现与证明
被引量:3
摘要
用实例介绍了利用数学软件技术,翻转数学研究流程,实现高效率的批量的数学新发现.
二级参考文献2
-
1江永明.问题1869.数学通报,2010,:64-64.
-
2李世杰,李盛.区域图形的对称性[J].中学教研(数学版),2013(1):26-30. 被引量:7
共引文献67
-
1李建潮.一个有理型不等式问题类比猜想的证明[J].河北理科教学研究,2013(6):44-45. 被引量:2
-
2邹生书.第十四个优美不等式的证明及推广[J].中学数学研究,2011(6):28-29. 被引量:3
-
3龚辉斌.两个不等式的简捷证明[J].中学数学研究,2011(7):20-20.
-
4黄传军.对《第十四个优美不等式的证明及推广》一文的一点修正[J].中学数学研究,2011(9):21-22.
-
5陈宇.对第十四个优美不等式推广的加强[J].中学数学研究,2011(10):20-21. 被引量:1
-
6有名辉.一个分式不等式的若干思考[J].中学数学研究,2011(10):24-25. 被引量:1
-
7郑日锋.一个优美不等式与一道IMO试题同出一辙[J].中等数学,2011(3):18-19.
-
8郑日锋.对一个优美不等式的进一步探究[J].数学通报,2012,51(1):57-57. 被引量:1
-
9张青山,李凤清.一个有理型不等式猜想的证明[J].数学通报,2012,51(2):47-48.
-
10左小宁.一种方法解决两个问题[J].中学数学研究,2012(3):33-34.
同被引文献14
-
1李世杰,李盛.不等式是刻画自然形态的重要模型(第九届全国初等数学研究会一等奖论文)[A]//杨学枝主编.中国初等数学研究(第6辑),哈尔滨:哈尔滨工业大学出版社,2015.
-
2李世杰.对抽象化活动过程设计合理性的几点思考[J].中国数学教育(高中版),2009(10):4-8. 被引量:1
-
3李世杰,李盛.函数最小正周期的机器证明[J].上海中学数学,2012(4):31-33. 被引量:4
-
4李世杰,李盛.区域图形的对称性[J].中学教研(数学版),2013(1):26-30. 被引量:7
-
5李世杰,李盛.数学策略及其应用[J].中小学数学(高中版),2013(1):30-33. 被引量:2
-
6李世杰,李盛.数学策略在创造发明中的应用[J].上海中学数学,2013(5):32-36. 被引量:1
-
7李世杰,李盛.区域图案的周期性[J].中学教研(数学版),2014(1):32-34. 被引量:5
-
8李世杰,李盛.创造美丽图案的数学方法赏析[J].上海中学数学,2013(12):23-26. 被引量:2
-
9李盛,李世杰.利用几何画板研究函数的周期性[J].中学数学教学,2014(1):36-38. 被引量:1
-
10李盛,杨樟松,李世杰.一个世界数学团体锦标赛试题的多向开发[J].中学教研(数学版),2014,0(11):47-48. 被引量:2
-
1刘亮,陈洪新,王育竹.高效率激光冷却原子束[J].物理学报,1993,42(11):1762-1765. 被引量:2
-
2房春梅.Benjamin-Ono方程的新Backlund变换与精确解[J].赤峰学院学报(自然科学版),2013,29(15):22-23. 被引量:1
-
3刘磊,邹黎敏,胡兴凯,叶火能.基于模块化的软件可靠性模型[J].西南师范大学学报(自然科学版),2010,35(2):100-102. 被引量:3
-
4徐安农.数学实验课实践与研究[J].桂林电子工业学院学报,2004,24(2):94-96. 被引量:3
-
5张毅敏.数学软件技术在医学研究中的应用初探[J].桂林航天工业高等专科学校学报,2005,10(4):17-18.
-
6毛学荣,李晓月.金融领域的随机建模与基于软件R的Monte Carlo模拟(4):随机微分方程模型[J].南京信息工程大学学报(自然科学版),2015,7(4):313-322. 被引量:1
-
7毛学荣,李晓月.金融领域的随机建模与基于软件R的Monte Carlo模拟(1):金融期权[J].南京信息工程大学学报(自然科学版),2015,7(1):24-30.
-
8毛学荣,李晓月.金融领域的随机建模与基于软件R的Monte Carlo模拟(3):随机对数线性模型[J].南京信息工程大学学报(自然科学版),2015,7(3):214-220. 被引量:1
-
9章国平.研究一道中考题 学透旋转法[J].数理化学习,2015(10):22-23.
-
10毛学荣,李晓月.金融领域的随机建模与基于软件R的Monte Carlo模拟(2):Cox-Ross-Rubinstein模型[J].南京信息工程大学学报(自然科学版),2015,7(2):125-132. 被引量:2