• 哲学声明与出版标准
• 订阅信息
• 提交指南
• 文章
• 编辑委员会

有关订阅或编辑查询，请通过以下方式与我们联系：电子邮件.

字符是否丢失或被矩形替换？

实验数学

哲学声明与出版标准

实验数学发表具有正式结果的原创论文实验、实验提出的猜想以及支持重要假设的数据。

实验一直以来，并且越来越重要数学发现的方法。（高斯宣布他到达目的地的方式数学真理是“通过系统实验”的。）然而这往往被只表现优雅的传统所掩盖，全面发展，结果严谨。

实验数学建立在理论和实验相互促进，数学界也坚持受益于更完整的实验过程。早期分享见解增加了它们产生定理的可能性：一个有趣的猜想通常是由缺乏形式化证明的技术，而那些拥有这些技术的人指尖一直在寻找别处。即使当最初的见解是找到一个证据，一个关于启发式过程的讨论可以对其他研究人员有所帮助，或者至少是感兴趣。有价值不仅在发现本身，而且在通往发现的道路上。

发表于实验数学二是：一些实验方面，与数学本身的相关性。这个“实验”一词的含义很广泛：许多数学这些天的实验是在计算机上进行的，但其他的实验仍然是铅笔和纸工作的结果以及其他实验技术，比如建立物理模型。至于第二种成分，我们强调实验数学和应用数学的区别。我们喜欢听到“现实世界”中有趣的应用程序，但我们的重点是将产生理论影响并有助于数学思想的发展。

在这个框架内，以下是我们认为合适的一些类型的论文用于发布。（在提交论文之前，请查看提交指南.)

• 实验会产生新的定理或新的猜想，或者支持现有的推测，或者指出应该调查。

• 新定理通过实验结果证明高度可接受，作者应提交正式的证明以及关于实验的信息-我们的目的不是鼓励同一篇论文在不同期刊上的扩散研究。

  当一个新的结果不能被证明时，猜想应该表述为尽可能准确地说：“很明显，有些事情需要被解释“是不够的。讨论应该明确为什么猜测很有趣，以前的工作对此有什么贡献，人们能做什么从中推断，以及已经可以证明的特殊情况。

  计算机实验应以可重复的方式进行报告其他研究人员。理想情况下，用于实验的程序应该是在一定程度上以电子形式免费提供给其他研究人员这是作者可以控制的。这将允许其他人检查是否所有边界案例已经过测试，作者对结果是唯一可能的结果，以此类推。鼓励裁判员请求测试程序，即使作者不会遵守使程序公开。

  计算机实验的结果应以如下方式呈现可被人类抓住。这种情况很少出现在长块计算机上输出。因此，交互式计算机会话的打印输出将不会出版了，除了可能是说明具体观点的简短摘录。如果满足以下条件，则可以在适当重新格式化后发布计算机生成的表它们的参考值与大小相称。

• 算法用于解决或探索数学问题，包括复杂性的理论或实验分析。我们使用单词algorithm在某种意义上有点松散：过程不需要在所有情况下终止，以便在数学探索中有用。

  可发布性部分取决于算法的内在兴趣或复杂性的证明，以及数学问题的重要性它所指向的。先前已知算法的描述可以是如果算法被用于原始用途或新信息，则可以接受关于它的复杂性已经被揭示。

• 讨论实际问题.讨论技术的论文如果实验中出现的陷阱原创贡献和数学兴趣的核心。如果有不明显的现象描述一下，我们想听听。

总之，许多数学家不愿意发表实验结果。尝试过的人有时会发现最著名的数学期刊不愿意接受这样的材料，不管其优点如何。实验数学是为了改变这种情况。我们将其设想为类似于实验科学杂志的东西：实验论坛可以进行描述，提出猜想，讨论技术，制定标准。我们坚信这样一个论坛将促进数学。