Manuscript Em01-D@2 · Em01-D-v2.tex · section · d3b49151
Execution record
Verification, debugging, and documentary record › Execution record · lines 2414–2427
No pdfLaTeX compiler, symbolic algebra system, numerical integration program, or proof assistant was executed. The file is arranged for a standalone two-run pdfLaTeX build. Successful compilation, mechanically certified identities, independent referee verification, and journal acceptance are not represented as observed results.
The supplied manuscripts are used with their printed domains and scope restrictions. Registry summaries are not treated as physical input instantiations or independent proof verification.