Liquid Tensor Experiment
Peter Scholze
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.
Topics & Concepts
Tensor (intrinsic definition)MathematicsStyle (visual arts)Algebra over a fieldTensor productPure mathematicsLiteratureArtComputational Physics and Python ApplicationsScientific Computing and Data ManagementParallel Computing and Optimization Techniques