Special Functions

Function families and their structure

Read the seven main chapters, the ten proof appendices, and the notation, references, and evidence notes. The HTML edition follows the retained monograph, with selectable equations, original figures, and links to the source of each passage.

Start reading Notation and glossary · References

Formal coverage and evidence

Proofread reading volumes plus 465 named theorem declarations: 39 inherited finite-core names and 29, 21, 19, 16, 13, 19, 23, 22, 16, 34, 22, 26, 43, 27, 36, 30, 30 in Blocks01 through 17. Registered F.1-F.3, G.1, guarded G.2, named ancillary F, main H.1 and J mathematical evaluation/normalization/finite arrays are complete. J now also has an exact guarded-majorant algorithm specification with explicit resource failures and abstract validation order; successful returns certify actual bounds and endpoints. Full Python runtime/dictionary refinement remains open. Ordinary type convergence is conditional. Other J/F/H, I and A-E remain; no whole-book percentage is established.

Lean sources and current recorded scope · Source edition evidence notes and open questions

PDF and companion volumes

• Read PDF
• Expanded Visual Guide (current PDF)
• Resolution and Coupled Atlas (current PDF)
• Packet Realization Core and correction register (PDF)
• Original Series Collected Reader (PDF)
• Earlier visual guide (historical PDF)