Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Preprint
Data sources: ZENODO
Zenodo
Claim

NID / HELIX Goldbach Workbench: Finite Rooms, Blocker Walls, and Survivor Doors

descriptionPublicationkeyboard_double_arrow_right Preprint Under curationPublisher:Zenodo
Authors: Velazquez, Luis;

doi: 10.5281/zenodo.20544816

NID / HELIX Goldbach Workbench: Finite Rooms, Blocker Walls, and Survivor Doors

Abstract

This archive contains the NID / HELIX Goldbach workbench with Lean formal shape definitions and Sage finite audit scripts. The workbench frames Goldbach through finite rooms, active doors G(C), blocker walls K(C), survivor doors, and NO_BAD_CENTER closure.

Powered by OpenAIRE graph
Found an issue? Give us feedback