TY  - RPRT
TI  - Mechanical Proving the Symplecticity of Partitioned Runge--Kutta Methods for Determinate and Stochastic Hamiltonian Systems
AU  - Xiaojing Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2509.11188
ID  - 2509.11188
ER  -