Liquid tensor experiment

DOI10.1080/10586458.2021.1926016MaRDI QIDQ5094470zbMATH OpenOpenAlexWikidataFDO

Authors 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

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

Recommendations

• Liquid tensor experiment
• An experimental library of formalized mathematics based on the univalent foundations
• Maintaining a library of formal mathematics
• Deepalgebra -- an outline of a program
• Types for Proofs and Programs

Cites work

• scientific article; zbMATH DE number 3042801 (Why is no real title available?)
• Convexity, type and three space problem
• Examples for the Nonlocally Convex Three Space Problem
• Projective topological spaces
• Quasi-topologies
• The pro-\'etale topology for schemes
• Topological vector spaces and algebras

Cited in

(9)

• Abstraction boundaries and spec driven development in pure mathematics
• Poincaré on the value of reasoning machines
• An experiment of a formal proof of an intermediate-level theorem in algebra
• Embracing AI and formalization: experimenting with tomorrow's mathematical tools
• Growing Mathlib: maintenance of a large scale mathematical library
• Towards solid abelian groups: a formal proof of Nöbeling's theorem
• Toward a geometry for syntax
• Mathematical reasoning and the computer
• Liquid tensor experiment

This page was built for publication: Liquid tensor experiment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5094470)