Transcending Transcendence - A Formally Verified Differential-Algebraic Reduction for Schanuel's Conjecture

Reed, Jonathan ƒ(n)

Open source

DOI
10.5281/zenodo.24092094
Published
2026
Container
Not recorded
Publisher
Zenodo
Open access
yes

Credibility signals

limited evidence Score 43/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.5281/zenodo.24092094,
  title = {Transcending Transcendence - A Formally Verified Differential-Algebraic Reduction for Schanuel's Conjecture},
  author = {Reed, Jonathan ƒ(n)},
  year = {2026},
  doi = {10.5281/zenodo.24092094},
  url = {https://doi.org/10.5281/zenodo.24092094}
}

RIS

TY  - JOUR
TI  - Transcending Transcendence - A Formally Verified Differential-Algebraic Reduction for Schanuel's Conjecture
AU  - Reed, Jonathan ƒ(n)
PY  - 2026
DO  - 10.5281/zenodo.24092094
UR  - https://doi.org/10.5281/zenodo.24092094
ER  - 

APA

ƒ(n), R. J. (2026). Transcending Transcendence - A Formally Verified Differential-Algebraic Reduction for Schanuel's Conjecture. https://doi.org/10.5281/zenodo.24092094

Source records