Liquid Tensor Experiment

DOI10.1080/10586458.2021.1926016OpenAlexW3173777491WikidataQ123113181 ScholiaQ123113181MaRDI QIDQ5094470

Peter Scholze

Publication date: 3 August 2022

Published in: Experimental Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/10586458.2021.1926016

zbMATH Keywords

functional analysiscomputer verificationcondensed mathematicsliquid vector space

Mathematics Subject Classification ID

Computer science (68-XX) Differential geometry (53-XX)

Related Items (1)

Abstraction boundaries and spec driven development in pure mathematics

Cites Work

• Projective topological spaces
• Topological vector spaces and algebras
• Quasi-topologies
• The pro-\'etale topology for schemes
• Convexity, type and three space problem
• Examples for the Nonlocally Convex Three Space Problem
• Unnamed Item

This page was built for publication: Liquid Tensor Experiment