Published February 25, 2026 | Version v1
Preprint Restricted

Explicit Hodge Decompositions for E^4 via Automated De-Omniscientisation (Paper 77, Constructive Reverse Mathematics Series)

Authors/Creators

  • 1. ROR icon New York University

Description

errors detected in our papers. Our whole repo is being audited and a decision of edit or removal will be made.

Files

Restricted

The record is publicly accessible, but files are restricted. Log in to check if you have access.