华蘅芳《积较术》数学方法分析

在《积较术》中,基于独特的差分定义,华蘅芳构造了一个与Ｎｅｗｔｏｎ有限差分公式完全不同的差分体系,针对各种数表的使用,华蘅芳设计了一种”乘表相加“的计算方法。算理分析表明,这一算法与近代矩阵乘法一致。对《积较术》 中的数学思想与数学方法的分析,揭示了清末传统数学研究所的生长点及其在向近代数学转变过程的积极意义。     

婆什伽罗球表面积公式的古证复原

根据婆什伽罗的数学思想，并利用他熟知的三角函数和射影知识，给出了其球表面积公式的两种证明方法，即月牙形方法和环带形方法.由此得出，婆什伽罗不仅已经具备了初步的极限观念，而且还在曲面求积方面做出了重要贡献，从而对一些学者关于婆什伽罗的某些观点提出了商榷.     

《授时历》的研究

在对《元史．历志》中“授时历经”的“步气朔”、“步日躔”、“步月离”、“步交会”部分的术文进行进一步解读的基础上，该文对《授时历“进行了下面几个方面的研究：（１）没日、灭日时刻计算公式的构造方法；（２）每日太阳位置计算过程中日差意义；（３）迟疾差公式构造过程中的缺陷；（４）月亮每日去极度的求法；（５）日食的食限问题和食分的计算步骤；（６）日食实例计算。     

关于可拓学（物元分析）关联函数基本公式的错误的论证

文章从理论与应用两个方面论证了可拓学（物元分析）关联函数基本公式的错误,列举了四个错误的应用实例,并绘制了关联函数值动态变化图,用来形象地说明错误的原因。     

包山楚简历法新证

该文利用四分历步气朔公式，求历元公式和“借半日法”对包山楚简历法材料进行计算，证明包简主民日干支全部合历，楚国行用丑正殷历，产针“借半日法”的使用提到战国时期。     

数学视野中的中国古代历法--评曲安京著《中国历法与数学》

曲安京所著《中国历法与数学》一书，探讨中国古代历法中天文常数与算法的构造机理及其数学思想，对上元积年、渐近分数、内插法、历法中的公式化计算等历法中的重要数学问题进行了原创性的研究，提出了很有说服力的观点与论据。该书把数学史与天文史结合在一起的研究思路也是富有启发性的，是一部成果颇丰的交叉学科性学术著作。     

道教思想与数学思想的互动

道教思想与数学思想的互动曾产生过积极效应,二者之间存在着深厚的历史渊源。秦九韶本着"数与道非二本"的观点,在"大衍求一术"中将道教思想与数学思想的互动体现得十分充分。在中国传统科学中,天文历法与数学的紧密结合本身也体现了这两个领域之间需要思想互动。二者的互动研究对于开辟从文化史研究数学和从科学史研究中国古代哲学的新视角富有启迪。     

《数学经验》一书即将出版

由美国著名数学家P.J.戴维斯和R.赫什合著的《数学经验》一书中译本,即将由江苏教育出版社出版。该书由王前、俞晓群等翻译,陈以鸿校,约三十余万字。《数学经验》是一部由数学家谈自己亲身体验和思想方法的风格独特的学术专著,其中涉及数学与哲学、科学技术、社会经济活动、艺术、宗教等多方面的关系,从不同角度探讨了数学思维活动的     

数学中的游戏因素及其对于数学的影响

游戏与数学作为两项人类活动具有许多共同的特点 ,这种共性主要体现在它们的性质、结构以及实践等三个方面。数学与游戏之间的关系是相互渗透、相互统一的关系。游戏的精神一直伴随着数学的成长和发展 ,成为数学发展的主要动力之一 ;并从以下几个方面影响了数学的发展 ;游戏激发了许多重要数学思想的产生 ,游戏促进了数学知识的传播 ,游戏是数学人才发现的有效途径。此外 ,游戏还在数学教育中起着非常重要的作用。     

规范场论的研究纲领述评——一种毕达哥拉斯模式的解读

宇宙的基本结构及其相互作用的奥秘都深藏于数学规律之中,这是毕达哥拉斯主义的基本理念。它分别体现在现代物理学的三大研究纲领中：（1）根据物理学的几何化纲领,引力场弯曲空间的奥秘需要通过黎曼几何、微分几何与张量分析来解读;（2）根据量子场论纲领,场理论的“产生和湮灭”算符,能方便而精确地表征和重构相关的微观作用机制;“场的本体论”和“生成辩证法”同时得到体现。（3）根据规范场论的纲领,自然界四种相互作用的奥秘都深藏于“规范对称性”之中。第三纲领相当于前两个纲领的整合。     

古代朝鲜学者的《授时历》研究

该文通过对几部朝鲜古代历法著作的研究,对古代朝鲜学者对《授时历》的消化吸收情况进行了探讨,结果发现：《授时历捷法立成》则是高丽天文学家姜保根据《授时历》独立推算的一套立成表,但在使用上比《授时历立成》本身的立成表更为方便。《七政算·内篇》在“应数”等基本常数方面虽然取自《授时历》,但在算法和体例方面则主要是以《大统历通轨》为参照的;该书中的四季半昼夜分和日出时刻表是李朝天文学家根据《授时历》“步九服所在漏刻术”推求的,该算法与球面天文学算式相符,为推算结果提供了精度保障。《交食推步法》中已经正确推出了《授时历》盈缩、迅疾立成表的一般计算公式,表明李朝早期的朝鲜天文学家已经掌握了招差术以及《授时历》立法原理,对这部历法已经真正达到了融会贯通的水平。     

The Heuristic Function of Mathematics in Physics and Astronomy

This paper considers the role of mathematics in the process of acquiring new knowledge in physics and astronomy. The defining of the notions of continuum and discreteness in mathematics and the natural sciences is examined. The basic forms of representing the heuristic function of mathematics at theoretical and empirical levels of knowledge are studied: deducing consequences from the axiomatic system of theory, the method of generating mathematical hypotheses, “pure” proofs for the existence of objects and processes, mathematical modelling, the formation of mathematics on the basis of internal mathematical principles and the mathematical theory of experiment.     

Epistemic Justification and Operational Symbolism

By the end of the twelfth century in the south of Europe, new methods of calculating with Hindu-Arabic numerals developed. This tradition of sub-scientific mathematical practices is known as the abbaco period and flourished during 1280–1500. This paper investigates the methods of justification for the new calculating procedures and algorithms. It addresses in particular graphical schemes for the justification of operations on fractions and the multiplication of binomial structures. It is argued that these schemes provided the validation of mathematical practices necessary for the development towards symbolic reasoning. It is shown how justification schemes compensated for the lack of symbolism in abbaco treatises and at the same time facilitated a process of abstraction.     

《割圆密率捷法》残稿本的发现

论文作者在北京图书馆北海分馆发现一本“钞本”《割圆密率捷法》，经与道光十九年（１８３９年）岑氏刊本仔细分析和比较，确认是一本残稿本，现存卷三下，但也不完整。其中文字部分应为明安图本人所写，陈际新进行了修改并加上重加核算的算式。从而大体上可以弄清楚，明安图和陈际新在《割圆密率捷法》一书中各自所作的工作。     

中国古代日食食差算法的原理

日食的食差是月亮的视差对日食食甚时刻月亮到黄白交点之距离的修正值。从形式上看，其理论模型与中国古代的传统算法几乎没有任何相似之处。为了与理论算法进行比较，成功地将薮内清建立的理论模型简化为以太阳的黄经与时角为自变量的二元函数；同时，重构了传统算法的数学模型。在此基础上，比较了传统算法与理论算法的异同，得出的结论是：两者的数学模型是相似的、计算结果是近似的。以现代科学的标准来看，中国古代日食食差算法的数学模型是合理的、有效的。     

A Binary Integer Program to Maximize the Agreement Between Partitions

This research note focuses on a problem where the cluster sizes for two partitions of the same object set are assumed known; however, the actual assignments of objects to clusters are unknown for one or both partitions. The objective is to find a contingency table that produces maximum possible agreement between the two partitions, subject to constraints that the row and column marginal frequencies for the table correspond exactly to the cluster sizes for the partitions. This problem was described by H. Messatfa (Journal of Classification, 1992, pp. 5–15), who provided a heuristic procedure based on the linear transportation problem. We present an exact solution procedure using binary integer programming. We demonstrate that our proposed method efficiently obtains optimal solutions for problems of practical size. We would like to thank the Editor, Willem Heiser, and an anonymous reviewer for helpful comments that resulted in improvements of this article.     

论科学中的数学观念革命--兼评科恩的科学革命观

科学革命是对科学思想进行一些重大的重新组合,观念转变的学说是革命过程的数学是表述科学的最高形式.数学化和达尔文式的非数学化、几率思想、工具互补等这些数学观念的突破,是科学革命中深层的革命.     

刘焯《皇权历》插值法的构建原理

中国古代历法中的插值法肇始于刘焯《皇极历》（公元６０４年）。它的发明使中国古代历法的算法系统进入新的历史阶段，从而成为中国古代天文学史、数学史上具有划时代意义的伟大成就。文中提出刘焯太阳运动理论核心的三个假设，破解了刘焯二次等间距内插法的造术原理。