Published October 20, 2026 | Version 1.0.0-candidate

Order transfer through six for Williamson low-storage Runge–Kutta methods

Authors/Creators

Description

Research candidate proving order transfer through six for the specified Williamson exponential lift and an all-degree repeated-tail tensor identity. A further sufficient order-seven criterion requires three additional tensor equalities; automatic seventh-order transfer is not proved. Includes manuscript and exact-check source. AI-assisted work; external human peer review and proof-assistant formalisation are not claimed.

Notes

Original research prose and structured records are CC0-1.0. Original executable code is MIT-licensed. See LICENSES.md for component terms. Maintainer and publisher: Ian Pitchford / Evidence Press.

Files

williamson-order-transfer-1.0.0-candidate.pdf

Files (324.6 kB)

Name Size
md5:2ff694de3d908fdb35025f7f4051ba15
3.5 kB Download
md5:68873687b7306fdc0e6df92493c99d8d
306 Bytes Download
md5:c7fb14472bc8197246516f9fae7b9993
110.0 kB Preview Download
md5:61a14d0397c758280bf19ff6ef4dbcee
210.8 kB Preview Download

Additional details