A formalization of the change of variables formula for integrals in mathlib

DOI10.1007/978-3-031-16681-5_1arXiv2207.12742OpenAlexW4296050236MaRDI QIDQ6159362

Sébastien Gouëzel

Publication date: 2 June 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2207.12742

zbMATH Keywords

change of variablesintegralformalizationmathlib

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Maintaining a library of formal mathematics
• The Lean Theorem Prover (System Description)
• On the Best Constant for the Besicovitch Covering Theorem
• Type Classes and Filters for Mathematical Analysis in Isabelle/HOL
• Formalized Haar Measure

This page was built for publication: A formalization of the change of variables formula for integrals in mathlib