TI Sigma: Five Formally Verified Theorems Connecting the Eight Primary Constants {0, 1, i, √2, e, φ, π, C}

Fuente: Zenodo
Saved in:
Bibliographic Details
Main Author: Emerick, Brandon Charles
Format: Recurso digital
Published: Zenodo 2026
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!