4 works on record
The Concrete Tetrahedron
Mathematical Software – ICMS 2018
Towards Mechanized Mathematical Assistants
2007
D-Finite Functions