Citation and provenance
Author: Le Chen, Auburn University. Source API version 0.8.0. Cite the software version and immutable source commit you actually used. Consult repository metadata for published tags and DOI records.
Machine citation metadata: CITATION.cff. License: Apache-2.0. Attribution: NOTICE.
Mathematical sources
Le Chen and Robert C. Dalang, Moments and growth indices for the nonlinear stochastic heat equation with rough initial conditions, Annals of Probability 43 (2015), 3006–3051. The Gaussian kernel and rough-data estimates formalized here are standard analysis.
AI assistance
Development and release preparation used AI assistance under the author’s direction. Proof checking establishes the Lean declarations; it does not validate prose, attribution or publication metadata. See the versioned source attribution.
Acknowledgments
Developed and verified with lean-pkg (doi:10.5281/zenodo.23272098).
Historical compute
Historical library verification included slurm-5565779 with Lean 4.34.1. That receipt concerns an earlier source revision. The source-bound receipts identify the executors and checked scope of this standalone release.
This work was completed in part with resources provided by the Auburn University Easley Cluster.