Liquid tensor experiment

DOI10.1515/DMVM-2022-0058OpenAlexW4293071393WikidataQ114053070 ScholiaQ114053070MaRDI QIDQ2090133FDOQ2090133

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

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

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)

Cited In (4)

• Title not available (Why is that?)
• 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)