Liquid Tensor Experiment

IF 0.7 4区数学 Q2 MATHEMATICS Experimental Mathematics Pub Date : 2021-06-20 DOI:10.1080/10586458.2021.1926016

P. Scholze

引用次数: 26

Abstract

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.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

液体张量实验

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

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

求助全文

约1分钟内获得全文去求助

来源期刊

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.

期刊最新文献

On the Cohomology of GL2 and SL2 over Imaginary Quadratic Fields Lebesgue Constants for Cantor Sets Conjectures for Cutting Pizza with Coxeter Arrangements Polytopality of Simple Games Zeros of Fractional Derivatives of Polynomials