Ramanujan Machine Group. (2025). ramanujantools (Version 0.0.1) [Computer software]. https://github.com/RamanujanMachine/ramanujantools