Zarankiewicz upper-bound proofs (LRAT-certificates)

Published July 5, 2026 | Version v1

Other Open

Files

Name	Size
CORE_CONTENTS_SHA256SUMS md5:a468b77a8895ac706731b70c365293b1	600 Bytes	Download
SHA256SUMS md5:3786eb65046510f310548a320d96b43d	112 Bytes	Download
z12-19-closure-v2.tar md5:d02dd2eb715b6d8eb7830e4c77b8e599	6.3 GB	Download
z12-21-closure-lrat.tar.xz md5:a76476da0c584a1d52d5fd834b1515ef	481.4 MB	Download

Views

Downloads

Show more details

DOI

Resource type

Other

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more