Liquid tensor experiment

DOI10.1515/DMVM-2022-0058MaRDI QIDQ2090133zbMATH OpenOpenAlexWikidataFDO

Authors Johan Commelin

Publication date 24 October 2022

Published in Mitteilungen der Deutschen Mathematiker-Vereinigung (DMV) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/dmvm-2022-0058

Mathematics Subject Classification ID

Popularization of mathematics (00A09) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to algebraic geometry (14-01) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Liquid tensor experiment
• Machine-checked mathematics
• Computer theorem proving in mathematics
• A machine-checked proof of the odd order theorem
• Deepalgebra -- an outline of a program

Cited in

(4)

• scientific article; zbMATH DE number 4111609 (Why is no real title available?)
• Liquid tensor experiment
• Mathematical reasoning and the computer
• Large-scale formal proof for the working mathematician -- lessons learnt from the ALEXANDRIA project

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 Q2090133)