Data for "Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability", Desmond (2026)
Data for the paper "Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability" (H. Desmond). Version 2 accompanies the revised paper submitted to Mathematics in Computer Science and adds a verified test of computer algebra systems (CAS). Contents - Archive.tar.gz (uncha...