@inproceedings{gouezel:hal-03737714,
TITLE = {A formalization of the change of variables formula for integrals in mathlib},
AUTHOR = {Gou{\"e}zel, S{\'e}bastien},
URL = {https://hal.science/hal-03737714},
BOOK
TITLE = {15th Conference on Intelligent Computer Mathematics},
ADDRESS = {Tbilisi, Georgia},
PUBLISHER = {Springer International Publishing},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {13467},
PAGES = {3 - 18},
YEAR = {2022},
MONTH = Sep, DOI = {10.1007/978-3-031-16681-5\_1},
KEYWORDS = {Change of variables ; Integral ; Formalization ; mathlib},
PDF = {https://hal.science/hal-03737714/file/samplepaper.pdf},
HAL_ID = {hal-03737714},
HAL_VERSION = {v1},
}