![Sample our Mathematics & Statistics journals, sign in here to start your FREE access for 14 days]({"type":"image" , "src" : "/sda/5943/TOC-Subject-Sample-2021-Mathematics-Statistics.jpg"})
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.
Declaration of Interest
No potential conflict of interest was reported by the author(s).
Additional information
Funding
The author was supported by a DFG Leibniz Preis and the Hausdorff Center for Mathematics (GZ 2047/1, Projekt-ID390685813).