液体张量实验

IF 0.7 4区数学 Q2 MATHEMATICS

Experimental Mathematics Pub Date : 2021-06-20 DOI:10.1080/10586458.2021.1926016

P. Scholze

引用次数: 26

摘要

摘要我提出了一个形式化的挑战。下面的文本是博客文章Xena Project–Liquid Tensor Experiment的一个稍微编辑过的版本，我保留了它的非正式风格。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Liquid Tensor Experiment

Abstract I propose a formalization challenge. The text below is a slightly edited version of the blog post Xena Project – Liquid Tensor Experiment, and I have kept its informal style.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Experimental Mathematics 数学-数学

CiteScore

1.70

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： Experimental Mathematics publishes original papers featuring formal results inspired by experimentation, conjectures suggested by experiments, and data supporting significant hypotheses. Experiment has always been, and increasingly is, an important method of mathematical discovery. (Gauss declared that his way of arriving at mathematical truths was "through systematic experimentation.") Yet this tends to be concealed by the tradition of presenting only elegant, fully developed, and rigorous results. Experimental Mathematics was founded in the belief that theory and experiment feed on each other, and that the mathematical community stands to benefit from a more complete exposure to the experimental process. The early sharing of insights increases the possibility that they will lead to theorems: An interesting conjecture is often formulated by a researcher who lacks the techniques to formalize a proof, while those who have the techniques at their fingertips have been looking elsewhere. Even when the person who had the initial insight goes on to find a proof, a discussion of the heuristic process can be of help, or at least of interest, to other researchers. There is value not only in the discovery itself, but also in the road that leads to it.