Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Liquid tensor experiment

From MaRDI portal
Publication:2090133
Jump to:navigation, search

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


Authors: Johan Commelin Edit this on Wikidata


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2090133&oldid=14580736"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 1 February 2024, at 21:29. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki