Q5875423 (Q5875423): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 11:48, 31 July 2024

scientific article; zbMATH DE number 7649964

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7649964

Statements

scholarly article

0 references

10.4230/LIPIcs.ITP.2019.15

0 references

Sander R. Dahmen

0 references

Johannes Hölzl

0 references

Robert Y. Lewis

0 references

publication date

3 February 2023

0 references

full work available at URL

https://arxiv.org/abs/1907.01449

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

zbMATH Keywords

formal proof

0 references

combinatorics

0 references

cap set problem

0 references

lean

0 references

describes a project that uses

0 references

Archive Formal Proofs

0 references

MaRDI profile type

MaRDI publication profile

0 references

Formalization and Execution of Linear Algebra: From Theorems to Algorithms

0 references

A corrected quantitative version of the Morse lemma

0 references

0 references

A FORMAL PROOF OF THE KEPLER CONJECTURE

0 references

The HOL Light theory of Euclidean space

0 references

Type classes for mathematics in type theory

0 references

Algebraic combinatorial geometry: the polynomial method in arithmetic combinatorics, incidence combinatorics, and number theory

0 references

Homotopy type theory in Lean

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5875423

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5875423&oldid=37484867"