appendices. Complement the article 'Differential Machine Learning' (Huge & Savine, 2020), including mathematical proofs and important implementation details for production